3*(2^17-1)+4*(2^17)