document.write('001172');