( 13 , 901 .)