document.write('001193');