( 13 , 447 .)