5279X3 . ) ( 4 , 513 .)