13937X3 . ) ( 2517 .)