function changeColors() {
	var searchStrings = document.location.search;
	var searchString = searchStrings.substring(1); 
	var nvPairs = searchString.split("\u0026"); 
	var scope = nvPairs[0].substring(0,3);
	var ele = nvPairs[1];
	if (scope == "run") {
	//topmenu
		
		document.getElementById(ele).className = 'selected';
		
	//sidemenu
	}
	else if (scope=="ope")
		document.getElementById(ele).className = 'visibleDiv';	
}