设有两个散列函数H1(k)=kmod 13和H2(k)=kmodll+1，散列表T[0...12]，用双重散列解决冲突。函数H1用来计算散列地址，当发生冲突时，H2作为计算下一个探测地址的增量，假定在某一时刻表T的状态为：

下一个被插入的关键码是42，其插入的位置是 【4】 。

在程序设计阶段应该采取______和逐步求精的方法，把一个模块的功能逐步分解，细化为一系列具体的步骤，继而用某种程序设计语言写成程序。