给出下列子程序的功能和执行结果。