12.7 程序举例