document.write('930139');