2^12 - (2^7 + 2^8 - 2^3)