EXTERNALINTEGERFNSPEC
DCPUTIME
EXTERNALLONGREALFN
REALCPUTIME
RESULT
=DCPUTIME/1000
END
ENDOFFILE