#include <stdio.h>

/* © 2013 Harry Broeders */

int main(void) {

	/* Hier komt de code */

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