function jumpcat(id) {
    var f=document.getElementById('f_cat');
//    alert("id_cat : "+id); 
    f.id_cat.value=id;
    f.submit();
}