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