// fix_applet.min.js
// minified_21/10/2010_11.33.44,76

var Applet={init:function(){this.hidden=0;jQuery("body").mouseover(function(){Applet.showhide()})},showhide:function(){setTimeout(function(){if(Applet.hidden)jQuery("#right-navigation-ul applet").hide();else{jQuery("#right-navigation-ul applet").show();Applet.hidden=0}},20)}};jQuery(document).ready(function(){Applet.init()});