document.write('940076');