document.write('10.112');