add 6 (erlang)
add 7 (erlang)