<!--
function quicklink() {
var menu = document.getElementById('quicklinks');
var a = menu.value;
window.location = a;
}
//-->