forward function F(integer n)
forward function M(integer n)