var url = window.location.pathname;
var newurl = url.toString().replace("://","");
var pos1 = newurl.indexOf("/");
var pos2 = newurl.indexOf("?");
var path;
if(pos2==-1){path=newurl.substring(pos1);}else{path=newurl.substring(pos1,pos2-pos1);}
var obj = document.getElementById("section_quicklink")
if(obj){for(i=0;i<obj.options.length;i++){if(obj.options[i].value==path){obj.options[i].selected=true;}}}