function writeNav2(which) {
document.write("<TABLE align=center border='0' cellpadding='10' bgcolor='#000000' nosave='' >"+ 
"<TR><FONT +=5><TD bgcolor=");
writeCol2(1,which);
document.write("><A HREF=./index.html>Overview</A></TD><TD bgcolor=");
writeCol2(2,which);
document.write("><A HREF=./vision.html>Computer vision</A></TD><TD bgcolor=");
writeCol2(3,which);
document.write("><A HREF=./mov.html>Movies</A></TD><TD bgcolor=");
writeCol2(4,which);
document.write("><A HREF=./bayesnet.html>Bayes Net</A></TD><TD bgcolor=");
writeCol2(5,which);
document.write("><A HREF=./zernike.html>Basis Functions</A></TD><TD bgcolor=");
writeCol2(6,which);
document.write("><A HREF=./tracker.html>Tracking</A></TD><TD bgcolor=");
writeCol2(7,which);
document.write("><A HREF=./fdpomdp.html>POMDPs</A></TD><TD bgcolor=");
writeCol2(8,which);
document.write("><A HREF=./cardgame.html>Games</A></TD></TR></TABLE>");
}

function writeCol2(here,which) {
 if (which == here)
	document.write("#55AA55");
 else	
	document.write("#BBBBBB");
}