//script to fix AGS capitalization
		var menu = document.getElementById('mainmenu');
		var e = menu.getElementsByTagName('div');
			for(var i=0;i<e.length;i++){
				if(e[i].innerHTML.search('AGs') > -1){
					e[i].style.textTransform = "none";	
				}
			}