[ 12 ) 64 .]