// JavaScript Document

var divName;
function changeText(divName)
{
	
			var boxes = new Array('rules','about','contact','techRules');
			var i;
			for (i=0;i<4;i++)
			{
				document.getElementById(boxes[i]).style.display='none';
			}
			
			
}

function changeImage(name)
{
	document.getElementById(name).src = "images/"+name+"_hover.jpg";
}

function restoreImages(name)
{
	document.getElementById(name).src = "images/"+name+".jpg";
}