$(document).ready(function(){
		$('#nav-public li').hover(
			function() { $('ul', this).css('display', 'block'); },
			function() { $('ul', this).css('display', 'none'); });
	});
	
	
function jump_url(el) {
  var url = el.value;
  if(url != 0 && url != "") {
    var root = (url.substr(0,7) == "http://") ? '' : rootURL;
    document.location.href = root+url;
  }
  return false;
}