document.write('940493');