document.write('0009400');