function showtoplist(){
omenu = document.getElementById("overtoplist");
omenu.style.visibility = "visible";
}

function hidetoplist(){
omenu = document.getElementById("overtoplist");
omenu.style.visibility = "hidden";
}
function getScrollHeight(){if(this.ie){return Math.max(document.documentElement.offsetHeight,document.documentElement.scrollHeight)}if(this.webkit){return document.body.scrollHeight}return document.documentElement.scrollHeight}