document.write('940933');