with (document) { write(" "); write("

"); write(" "); }