° ( 15 , 257 .)