updated 9.rkt