function addStyleDef(objectID, styleName, newVal){
	var object = document.getElementById(objectID);
	object.style[styleName] = newVal;
}