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