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