document.write('940934');