document.write('940242');