document.write('001240');