// JavaScript Document

function showMenu() {
jQuery('#jumpDest').fadeIn('normal');

}

function hideMenu() {
jQuery('#jumpDest').fadeOut('normal');

}