<!--
function statustext(text, clear) {
  window.defaultStatus = clear;
  window.status = text;
}  // end function
//-->