add p12.rkt