/* 
   jump menu
   copyright (c) 2002 by Mark Justice Hinton
   mjhinton@unm.edu
*/

function listLinks() {

jumpItem[seq].vClass = "visited";

document.write ( "<select name='selection'" );
document.write ( " onChange='jumpTo(this.selectedIndex)'>" );

for ( i = 0; i < jumpItem.length; i++ ) {
document.write ( "<option value='" );
document.write ( jumpItem[i].URL );

	if ( i <= seq ) {
	document.write ( "' class='visited" );// odd quote is OK
	}

document.write ( "'>" );
document.write ( jumpItem[i].name );
document.write ( "</option>" );
}
document.write ( "</select>" );
}

function jumpTo ( selected ) {
window.location = jumpItem[selected].URL;
}

function backLink() {

if (seq > 1) {
var back = "";
back += "&lt; ";
back += "<a href='";
back += jumpItem[seq-1].URL;
back += "' title ='";
back += jumpItem[seq-1].msg;
back += "'>";
back += jumpItem[seq-1].name;
back += "</a>";

document.write ( back );
}
}

function forwardLink() {
if (seq<jumpItem.length) {
var forward = "";
forward += "<a href='";
forward += jumpItem[seq+1].URL;
forward += "' title ='";
forward += jumpItem[seq+1].msg;
forward += "'>";
forward += jumpItem[seq+1].name;
forward += "</a> &gt;";

document.write ( forward );
}
}