document.write('001250');