#include <stdio.h>

int main() {
    int a, b;
    a=12;
    b=15;

    printf("%d", a);
    return 0;
}