11.2.17 F17函数