// Status box functions
// LANGUAGE="JavaScript"

var timerID = null
var timerRunning = false

function ClearDisplay()
{
  window.status="";
  timerRunning = false
}

function BriefDisplay(message)
{
  if(timerRunning)
    clearTimeout(timerID)
  timerRunning = false
  window.status = message;
  timerID=setTimeout("ClearDisplay()",20000);	/* Clear the display after 20.000 seconds. */
  timerRunning = true
}

function PermDisplay(message)
{
  if(timerRunning)
    clearTimeout(timerID)
  timerRunning = false
  window.status = message;
}