, p ( 6 , 523 .)