function swapMainMenuImage(doc_root, current, selectedMenu) {
					
	if(selectedMenu != current) {
		
		
		
		if(document.images && document.images[current].src !=  doc_root + "/images/header/main_menu/button_" + current + "_selected.gif") {
		
			document.images[current].src = doc_root + "/images/header/main_menu/button_" + current + "_over.gif";	
		}
	}
}
				
				
				
				
				
function swapMainMenuImageBack(doc_root, current, selectedMenu) {

	if(document.images && selectedMenu != current)
		document.images[current].src = doc_root + "/images/header/main_menu/button_" + current+ ".gif";	
	
}