[ 5 , 522 .)