--- nice_menus.js.orig  2007-12-07 09:57:00.000000000 -0800
+++ nice_menus.js       2008-02-04 10:56:20.838762100 -0800
@@ -20,6 +20,7 @@
   return this.each(function(){
          if(document.all && $("select").size() > 0) {
            var ifShim = document.createElement('iframe');
+           ifShim.src = "javascript:false";
                        ifShim.style.width=$(this).width()+1+"px";
       ifShim.style.height=$(this).find("> li").size()*23+4+"px";
                        ifShim.style.filter="progid:DXImageTransform.Microsoft.Alpha(style=0,opacity=0)";