/* Basic helper functions. */

/*
This function is used because ">" is not allowed in XHTML source code,
and > is not understood by the JavaScript engine.
*/
function greater(a, b) {
  return a > b;
}