[ 12 r .)