function jd_button_over(d,b){var a=d.childNodes;if(a==null){return}for(var c=0;c<a.length;c++){if(a[c].tagName=="IMG"){a[c].src=b?a[c].src.replace(/-on.(gif|jpg|png)$/,"-off.$1"):a[c].src.replace(/-off.(gif|jpg|png)$/,"-on.$1")}}};