modify 10.rkt