document.write("130142")