#include <stdio.h>

void set_white(unsigned char *pixel) {
	*((int*) pixel) = 0x00FFFFFF;
}

int main(void) {
	// your code goes here
	
	unsigned char pixel[] = {0, 0, 0, 255};
	
	printf("%d\t%d\t%d\t%d\n", pixel[0], pixel[1], pixel[2], pixel[3]);
	
	set_white(pixel);
	
	printf("%d\t%d\t%d\t%d\n", pixel[0], pixel[1], pixel[2], pixel[3]);
	
	return 0;
}