#include <stdio.h>
#include <stdlib.h>

int main(void) {
    printf("%d\n", 500);

    return EXIT_SUCCESS;
}