function h() { document.write("Hello World!"); }