set n 1
set i 1
while {[incr i]<=1e3} {set n [expr {$n*$i}]}
puts $n