
<!--
document.write("3.75");
//-->