document.write('001200');