savedPixel = 0x12345678;
desiredAlpha = 0xFF;
savedPixel = savedPixel & 0x00FFFFFF;
savedPixel = savedPixel | (desiredAlpha << 23);
print "%x" % savedPixel
savedPixel = 0x12345678;
desiredAlpha = 0xFF;
savedPixel = savedPixel & 0x00FFFFFF;
savedPixel = savedPixel | (desiredAlpha << 24);
print "%x" % savedPixel