( 13 , 241 .)