function Info(txt)
{
window.status = txt;
setTimeout("clear_info()",7500);
}
function clear_info()
{
window.status="";
}