document.write('001283');