[ 113 42 .)