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