function SetFont(size)
    {
        document.getElementById("FontResizeArea").style.fontSize = size;
    }
    
    function openWin(width, height, id, url, resizable)
    {
	    window.open(url,id,'width='+width+',height='+height+',top='+((screen.height-height)/2)+',left='+((screen.width-width)/2)+',menubar=0,toolbar=0,resizable='+resizable+',status=1,SCROLLBARS=1');				
    }