document.write('02259');