var time_out = 14000;
function log_start()
{
window.wtop.style.visibility="visible";
window.setTimeout("real_log_start()", time_out);
return false;
}
function real_log_start()
{
window.wtop.style.display="none";
}