document.write(     '02480');