document.write('10.1');