function random() { document.write ('

'); }