^ 13 r .)