/**
 When the WP Stats smiley is shown, it'll hide it.
 It depends on jquery.js
 */
function hideWPStatsSmiley() {
 if ($('wpstats') != null) {
   $('wpstats').ready(function() {  
                        if (document.getElementById('wpstats')!=null)
                            document.getElementById('wpstats').style.display='none' 
                      })
 }
}

/**
 Making life easier to users that want to reply to others
 on the comments
*/
function replyTo(id, to) {
    jQuery("textarea[name='comment']").val("<a href='#comment-" + id + "'>@" + to + "</a>: " + jQuery("textarea[name='comment']").val()).focus(); 
}