document.write('02467');