document.write(   '(empty)<br>');