How do you simplify 6256?