document.write("11142")