Update set00:6.rkt