$("#up").click(function () {
    var tx = menrva.transaction();
    $value.modify(tx, inc);
    tx.commit();
  });