document.write('940112');