%%HP: T(3)A(D)F(.);
\<< TIME \-> t
  \<< EVAL TIME t
  \>> HMS- 10000 *
\>>
