12 minus 5=: