$n=<>;
$r=1;
for(1..$n){
	$r=$r*$_%1e12;
	last if!$r;
}
printf$n>15?"%012d":"%d",$r;