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