function hoverin(element)
{
   var theelement = document.getElementById(element);
   theelement.className='navbarhover';
   theelement.style.cursor='pointer';
}

function hoverout(element)
{
   var theelement = document.getElementById(element);
   theelement.className='navbar';
}