document.write('02531');