6.3.5 lF函数