8495X0 ) ( 5217 .)