What is #[(8+10) -: 3] + 3 * (7-3)#?