document.write(     '02459');