// JavaScript Document

<!--
function openWindow(theURL,winName,features) { 
  window.open(theURL,winName,features);
}
//-->
<!--
function closeWindow() { 
  window.close();
}
//-->
<!--
function fullscreenoki(url) {
    var la_schermo = screen.availWidth - 10;
    var al_schermo = screen.availHeight - 30;
    MainWindow = window.open(url, "Main", "width=" + la_schermo + ",height=" + al_schermo + ",top=center,left=0, scrollbars = 0");
}
//-->