function outColor(x) 
	    { document.getElementById(x).style.background='#FFFFCC';
	      document.getElementById('sub' + x).style.visibility='hidden';	  
	    }

       function overColor(x) 
	    { document.getElementById(x).style.background='#FFFF66';
	      document.getElementById('sub' + x ).style.visibility='visible';
	    }

       function OpenNewWindow(page,width,height)
            { myNewWindow = window.open(page, "NewWindow", "width="+width+",height="+height+",resizable=yes");
              myNewWindow.focus();
	    }