document.write('001930');