static void updateCounterStatus(jQuery event_counter, JsNumber new_count)
{
if (!event_counter.hasClass("ui-state-hover"))
{
event_counter.addClass("ui-state-hover")
.siblings().removeClass("ui-state-hover");
}
// ...then update the numbersKD
new jQuery("span.count", event_counter).text(new_count.As<JsString>());
}