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