17511 ) ( 5042 .)