document.write('001933');