// Home page: For shortcuts drop-down menu
<!-- 
function goto_URL(object) {
window.location.href = object.options[object.selectedIndex].value; }
//-->