with (document) { write ('

'); }