//This is javascript of Menu
var setTimeoutID;
var Timeout=1000000000;
function Mouseover(obj)
{
	nav = document.getElementById("navigation");
    if (!nav) 
    return false;
    navListItems = nav.getElementsByTagName("li");				           
    for (j = 0; j < navListItems.length; j++) 
    {		               
        var nodeOther = navListItems[j];
        if ((nodeOther.nodeName == "LI"))
        {    
           nodeOther.className = ""; 
        }            
    } 
	obj.className = "hover";
}
function ClearsetTimeout()
{
   clearTimeout(setTimeoutID); 
}
function Mouseout()
{
     setTimeoutID= setTimeout("SetHover()", Timeout);
}