4133X3 . ( 8 , 442 .)