document.write('02258');