本人目前正在做毕业设计，遇到一个非常棘手的问题，希望得到各位前辈的指点．
主要用存储过程实现编号自动增加问题？
例如：书号：ＡＴ－１２３－２３４－０００　
怎么才能用存储过程实现书号末三位（也就是０００）自动增加到０９７（也就是ＡＴ－１２３－２３４－０９７）
循环语句怎么写？
create proc Insert_BookStateInfo
@TotalStock integer,
@ISDN varchar(10)
as
select TotalStock from BookInfo where ISDN=@ISDN
declare @tempTotalStock integer,
@i integer
select @i=convert(integer,right(BookID,3))


写到这里，写不下去了．请哪位高手指点一下，万分感谢！

create proc Insert_BookStateInfo
@TotalStock integer,
@ISDN varchar(10)
as
select TotalStock from BookInfo where ISDN=@ISDN
declare @tempBookID varchar(10),
@i integer,
@j varchar(7)

select @i=convert(integer,right(BookID,3))
select @j=right(BookID,7)

for ( @i,i=<@TotalStock,@i++ )
begin
select tempBookID=@j+convert(varchar(7),@i)
end
update BookStateInfo
set State='归还',BookID=@tempBookID
where ISDN=@ISDN
我又写了一句，有语法错误，不知道循环语句for怎么写