adam@1800: fun main (n : int) (s : string) : transaction page = return adam@1800: