<!-- Begin
document.write('<FONT SIZE=-4>OCUS Benchmark v5: 617.<BR>Latest additions: 20120203<BR>Fastest: 20111028 (718secs)</FONT>'); 
document.write('<FONT SIZE=-4>OCUS Benchmark v5-64b: 224.<BR>Latest additions: 20120203<BR>Fastest: 20111017 (1726secs)</FONT>'); 
// End -->

