if (document.all)
  dropmenu0.style.padding = "4px"

for (i = 0; i < menu1.length; i++)
  document.write(menu1[i])