设P1和P2是两个单链表，他们的元素都递增有序，指出下面函数F的功能。