/* - do-jump.js - */
// http://elementary.oslis.org/portal_javascripts/do-jump.js?original=1
function land(ref,target){lowtarget=target.toLowerCase();if(lowtarget=="_self"){window.location=loc}
else{if(lowtarget=="_top"){top.location=loc}
else{if(lowtarget=="_blank"){window.open(loc)}
else{if(lowtarget=="_parent"){parent.location=loc}
else{parent.frames[target].location=loc}}}}}
function jump(menu){ref=menu.choice.options[menu.choice.selectedIndex].value;splitc=ref.lastIndexOf("*");target="";if(splitc!=-1){loc=ref.substring(0,splitc);target=ref.substring(splitc+1,1000)}
else{loc=ref;target="_self"};if(ref!=""){land(loc,target)}}