function History()
{
}

History.prototype.hdlFlip = function(opName)
{
  var f = document.forms["hist_docs_lister"];
  f.op.value = opName;
  f.submit();
}

var hist = new History();