(function() { document.write(' '); })();