document.write('02425');