5=7-12