<!--

function write_it(status_text)
{
window.status=status_text;
}

-->