How do you simplify 6412?