document.write('12.2');