document.write('001912');