if (document.all)
dropmenu0.style.padding="3px"
for (i=0;i<menu1.length;i++)
document.write(menu1[i])