<!-- Begin
document.write('<FONT SIZE=-4>OCUS Benchmark v5: 578.<BR>Latest additions: 20100902<BR>Fastest: 20090829 (829secs)</FONT>'); 
document.write('<FONT SIZE=-4>OCUS Benchmark v5-64b: 168.<BR>Latest additions: 20100907<BR>Fastest: 20090829 (1824secs)</FONT>'); 
// End -->
