#import std
#import cli

#executable ('parameterized','')

whatime =

<.file$[contents: --<''>]>+ -+
   @hm skip/*4+ ~=(9%cOi&)-~l*+ *~ ~&K3/'UTC',
   (ask bash)/0+ -[wget -O - http://tycho.usno.navy.mil/cgi-bin/timer.pl]-!+-