function on(menu_b)
{
document.getElementById(menu_b).className=menu_b;
}
function out(menu_b)
{
document.getElementById(menu_b).className=menu_b+'_on';
}