#include<stdio.h>
int main()
{
    unsigned char r = 0x80, g = 0x40, b = 0x40, x;

    x = (r + g + b) / 3;
    printf("0x%02X\n", x);
    x = r / 3 + g / 3 + b / 3;
    printf("0x%02X\n", x);

    return 0;
}