Update pr9.erl