// Impedisce ad una pagina content di essere puntata senza frameset
if (parent.location == document.location) {
        with (document.location) {
                parent.location = '/cgi-bin/frameset.pl?url=' + escape(pathname + hash + search);
        	}
	}


// Imposta un cookie univoco
if (!document.cookie) {
        var dNow = new Date();  
        // Il cookie scade il 31 dicembre del 2029
        document.cookie = 'id='+dNow.getTime()+'_'+Math.floor(Math.random()*100000000)+'; EXPIRES=Monday, 31-Dec-29 23:59:59 GMT; PATH=/;';
	}