#include <stdio.h>

/* © 2012 Harry Broeders */

int main(void) {

	/* Hier komt de code */

	fflush(stdin);
	getchar();
	return 0;
}