import io.Source

case Source.fromURL( 'http://tycho.usno.navy.mil/cgi-bin/timer.pl', 'UTF-8' ).getLines().find( ('Eastern' in) ) of
  Some( time ) -> println( time.substring(4) )
  None         -> error( 'Easter time not found' )