document.write('' + menu3a + '   ');