document.write('02523');