function openWindow(contentURL,windowName) {
newWindow = window.open(contentURL,windowName);
newWindow.focus() }
  
function addStyleDef(objectID,styleName,newVal)
{ var object = document.getElementById(objectID);
object.style[styleName] = newVal; }