// Given an html object and a class, it changes the style of that object.
	function changeStyle(objectId, className){
		document.getElementById(objectId).className=className;
	}