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;}