add 13 (erlang)