document.write('001231');