function hover(kuru)
{
	a=document.getElementById('menu-'+kuru+'-1');
    a.className="menu-left";
    a=document.getElementById('menu-'+kuru+'-2');
    a.className="menu-pattern";
    a=document.getElementById('menu-'+kuru+'-3');
    a.className="menu-right";
}

function unhover(kuru)
{
	a=document.getElementById('menu-'+kuru+'-1');
    a.className="menu-left-normal";
    a=document.getElementById('menu-'+kuru+'-2');
    a.className="menu-normal";
    a=document.getElementById('menu-'+kuru+'-3');
    a.className="menu-right-normal";
}