document.write("1337 ");