diff --git a/index.html b/index.html
index 021e891..6331ff8 100644
--- a/index.html
+++ b/index.html
@@ -115,7 +115,7 @@ function make_menu() {
var sel=document.createElement("select");
sel.onchange=function(){
if (this.value=="") { return }
- document.getElementById("anchor_"+this.value).scrollIntoView();
+ document.getElementById(this.value).scrollIntoView();
document.getElementById("menu").value="";
};
sel.id="menu";
@@ -124,13 +124,15 @@ function make_menu() {
opt.value="";
opt.innerHTML="#";
sel.appendChild(opt);
+ var anchor_index = 0;
for (c=0; c