// $Id: user.js 1484 2008-08-07 01:30:50Z keisuke $

function planetFilter(id) {
    $(".xfolkentry").show();
    if(id) {
        $(".xfolkentry[title!='"+id+"']").hide();
    }
}