%EXTERNALINTEGERFNSPEC DCPUTIME
%EXTERNALLONGREALFN REALCPUTIME
      %RESULT=DCPUTIME/1000
%END
%ENDOFFILE