<!--
function setStatustext(txt)
{
   window.status = txt;
}

function emptyStatusTxt()
{
   window.status="";
}
//-->