[ 10519 ] I ( 12516 .)