document.write('0001930');