val check : int -> transaction page
val flush : int -> transaction page