[ 7 , 472 .]