[ 9 ) 57 .]