document.write('940830');