How do you simplify #25-12-13#?