document.write('940812');