var tabs = [ ['

', '

'], ['

', '

'], ['

', '

'], ['

', '

'], ['

', '

'], ['

', '

'], ['

', '

'], ['

', '

'], ['

', '

'] ]; function mainmenu() { document.write(''); for (var a = 0; a < tabs.length; a++) { if (a == thispage) { document.write(''); } else { document.write(''); } } document.write('

'); }