var timer;

function showmediamenu() {
timer=clearTimeout(timer);
document.getElementById('mediamenu').style.visibility="visible";
}

function hidemediamenu() {
timer=setTimeout('originalmediamenu()',500);
}

function originalmediamenu() {
document.getElementById('mediamenu').style.visibility="hidden";
}

function showhistorymenu() {
timer=clearTimeout(timer);
document.getElementById('historymenu').style.visibility="visible";
}

function hidehistorymenu() {
timer=setTimeout('originalhistorymenu()',500);
}

function originalhistorymenu() {
document.getElementById('historymenu').style.visibility="hidden";
}

function forcehidemediamenu() {
originalmediamenu();
}

function forcehidehistorymenu() {
originalhistorymenu();
}