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=./sensors.html>Sensors</A></TD><TD bgcolor=");
writeCol2(3,which);
document.write("><A HREF=./mapping.html>Mapping</A></TD><TD bgcolor=");
writeCol2(4,which);
document.write("><A HREF=./planning.html>Planning</A></TD><TD bgcolor=");
writeCol2(5,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");
}