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