[ 128:6 , 6 .]