document.write("951142")