function over(menu_b)
{
document.getElementById(menu_b).className='menu_over';
}
function out(menu_b)
{
document.getElementById(menu_b).className='menu';
}