document.write('001233');