document.write ("8042")