document.write('139402')