document.write ("1337 ");