document.write(     '01318');