根据主函数定义，请写出折半查找算法。输入：17 输出：the position is:7