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=./generalPOMDP.html>General POMDP</A></TD><TD bgcolor=");
writeCol2(3,which);
document.write("><A HREF=./vision.html>Observation function</A></TD><TD bgcolor=");
writeCol2(4,which);
document.write("><A HREF=./learning.html>Learning</A></TD><TD bgcolor=");
writeCol2(5,which);
document.write("><A HREF=./solving.html>Solving</A></TD><TD bgcolor=");
writeCol2(6,which);
document.write("><A HREF=./handwPOMDP.html>Handwashing POMDP</A></TD><TD bgcolor=");
writeCol2(7,which);
document.write("><A HREF=./experiments.html>Experiments</A></TD><TD bgcolor=");
writeCol2(8,which);
document.write("><A HREF=./references.html>References</A></TD></TR></TABLE>");
}

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