/* $Revision: 1049 $
 * $Date: 2009-02-02 16:34:13 +0100 (lun., 02 févr. 2009) $
 * $Author: gruik $
 */

$(
    function () {
        var jMenu;
        
        jMenu = $('#menu1');
        jMenu.change(
            function () {
                var val;
                
                val = jMenu.val();
                if (val.length > 0) {
                    window.location = val;
                }
            }
        );
    }
);