document.write('940932');