[ 12 ( 0 .)