if (!document.all) { document.write('

'); }