/* Accessori Javascript  */

/* disabilitati:
info1="<script language=Javascript src=drop.js></script>"
document.write(info1)

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

// abilitati:

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

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

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