$(function() {
    $('#banner')
    .cycle({
        fx: 'fade',
        speed: 300,
        timeout: 5000,
        pager: '#nav'
    });

    $('#banner').hover(
        function() { $('#banner').cycle('pause'); $('#nav').fadeIn(); },
        function() { $('#banner').cycle('resume'); $('#nav').fadeOut(); }
    );

});