function keyDown(key) {
	// This version maps Page Up, Page Down, and End keys
	if(document.links.length==1) {
		if(key==33) location=document.links[0];
		if(key==34) location=document.links[0];
		}
	if(document.links.length==2) {
		if(key==33) location=document.links[0];
		if(key==34) location=document.links[1];
		}
	if(document.links.length>2) {
		if(key==33) location=document.links[0];
		if(key==34) location=document.links[1];
		if(key==35) location=document.links[2];
		}
}