document.write('1000012');