document.write('0000001217');