if (document.all) {
dropmenu1.style.padding="4px"
}
for (i=0;i<menu2.length;i++)
document.write(menu2[i])