function addWatch(a){jQuery.post(CONTEXT_PATH+"/pub/watch/add",{id:a},function(b){jQuery("#result_"+a).effect("highlight",null,500)})}function deleteWatch(a){jQuery.post(CONTEXT_PATH+"/watch/removeWatch",{id:a},function(b){if(b=="ok"){jQuery("#result_"+a).hide("slow")}else{alert("The publication watch could not be deleted!")}})};