#include <stdio.h>
#include <unistd.h>

int main(int argc, char *argv[])
{
	char buffer[0x400];
	int c, sum = 0;
	int bytes = 0;

	read(0, buffer, sizeof(buffer));
	while ((c=getchar()) != EOF) {
		sum += c;
		bytes++;
		if (bytes == 0x1000)
			sum = 0;
	}
	printf("sum = %08x\n", sum);
	return 0;
}