BEGIN {
	print "10! is 3628800"
}