document.write("013942");