// JavaScript Document function topmenu() { document.write('

'); }