function text(txt)
{
 window.status = txt;
}