, ( 5417 )$