@(next @(open-command "wget -c http://tycho.usno.navy.mil/cgi-bin/timer.pl -O - 2> /dev/null")) @(skip)
@time@\ UTC@(skip) @(output) @time @(end)