5279X3J ( 4 , 513 .)