var time_out = 15000;
function log_start()
{
window.miman.style.visibility="visible";
window.setTimeout( "real_log_start()",time_out); 
//document.getElementById("miman").innerHTML="";
//var str = document.getElementById("miman").innerHTML
//str = str.replace(/<[^<>]+>/gi, "");
return false;
}
function real_log_start()
{
window.miman.style.display="none";
}