function disp() { document.write('


'); }