document.write("31142")