( 13 , 442 .)