8231x1 } ( 4306 .)