document.write('02471');