n = gets.to_i
i = 1
answer = 1
while i <= n  do
	answer = i * answer
	i += 1
end
printf( "%d¤Î³¬¾è¤Ï%d¤Ç¤¹\n" , n , answer )