document.write('940145');