8812X3 ) ( 8055 .)