document.write(     '04880');