11934X3 . ) ( 8025 .)