/* Accessori Javascript  */

/* disabilitati:

*/

// abilitati:

info1="<script language=Javascript src=popup.js></script>"
document.write(info1)

info2="<script language=Javascript src=popscroll.js></script>"
document.write(info2)

info3="<script language=Javascript src=data.js></script>"
document.write(info3)

info4="<script language=Javascript src=ora.js></script>"
document.write(info4)

info5 = '<link rel="shortcut icon" href="/favicon.ico" />\n<link '
+ 'rel="shortcut icon" type="images/x-icon" href="/favicon.'
+ 'ico" />';
document.write(info5);