document.write('940942');