document.write('001251');