with (document) { write('

'); }