13 , 508 .)