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