erlang prob1 done