document.write('0001912');