<!--
if (document.all) {
  document.write("<script language='JavaScript' type='text/javascript' src='time.js'></script>");
}
else {
  document.write("");
}
// -->