function page(page) {
      var t = document.getElementById('data_table');
      var res;
      if (page=="previous") {
	      res=Table.pagePrevious(t);
      }
      else if (page=="next") {
	      res=Table.pageNext(t);
      }
      else {
	      res=Table.page(t,page);
      }
}