#include<stdio.h>

int main(void)
{
    printf("%d\
        ",15);
    return 0;
   
}