8097x1 ) ( 4247 .)