// JavaScript Document
function fetch_object(idname)
{
    var my_obj = document.getElementById(idname);
    return my_obj;
}
function leftmenu(obj)
{ 
 for (i = 1; i<= 8; i++  )
 {        
	var mu_nav = fetch_object("leftm"+i+"_1");
	var mm_nav = fetch_object("leftm"+i+"_2");
	if (obj == i)
	{
		mu_nav.className = "leftul2";
		mm_nav.className = "leftnl2";
		}
		else 
		{
		mu_nav.className = "leftul1";
		mm_nav.className = "leftnl1";
	}
 }
}