// pf 20020314 apre una finestra nuova del browser
function MM_openBrWindow (theURL, winName, features) {
        window.open(theURL, winName, features);
}
function MM_openBrWindow_f (theURL, winName, features) {
        popup=window.open(theURL, winName, features);
        popup.focus();
}
//fine script