// Generate Jump To form.  "nPages" and "currentPage" must be set before
// calling this procedure.

document.write(
	'<form name="jumpform">' +
	'<select name="jumpbox" class="jumpto"' +
	' onchange="jumpto(this.form, selectedIndex)">'
) ;

for (var i = 1 ; i <= nPages ; ++i)
{
	document.write("<option value='" + i + "'") ;
	if (i == currentPage)
	{
		document.write(' selected="selected"') ;
	}
	document.write(">Page " + i + "<\/option>") ;
}

document.write('<\/select><\/form>') ;