42 factorial