/* 
   jump menu
   copyright (c) 2003 by Mark Justice Hinton
   mark@mjhinton.com
*/

function listLinks() {

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 ( "' selected>" );
else 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 > 0) {
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 += "back";
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 += "next";
forward += "</a> &gt;";

document.write ( forward );
}
}