document.write('012471');