已建表

create table Employee

(
EmpID             smallint      not null,     --      员工ID
EmpName           char(20)      not null,     --    员工姓名
EmpAge            smallint      not null,     --        年龄
EmpAddress        varchar(20)   not null,     --        地址
EmPbirthday       smalldatetime not null,     --        生日
EmpTel            char(20)      not null,     --        电话
EmpDate           smalldatetime not null,     --    入职时间
EmpMarital        varchar(10)   not null,     --    婚姻状况
EmpType           varchar(10)   not null,     --    员工类型
DepID             smallint      not null      --所属部门ID号
)



在此表的基本上，员工ID应从“00001”开始，依次依增
请问怎么编写一个存储过程来实现？ 请高手指点。

不考虑　　员工离职后 工号能否被收回重新利用.