val main : int -> int -> transaction page