7517X3 ] ( 3188 .)