function go_anchor(n){
document.getElementById("div1").scrollTop = document.getElementById(n).offsetTop
}