document.write('940130');