add 9 (erlang)