| ( 7255 .)