Problem:
Score : 100 points

Problem Statement

Takahashi, who is A years old, is riding a Ferris wheel.

It costs B yen (B is an even number) to ride the Ferris wheel if you are 13 years old or older, but children between 6 and 12 years old (inclusive) can ride it for half the cost, and children who are 5 years old or younger are free of charge. (Yen is the currency of Japan.)

Find the cost of the Ferris wheel for Takahashi.

Constraints

0 ≤ A ≤ 100

2 ≤ B ≤ 1000

B is an even number.

Input

Input is given from Standard Input in the following format:

A B

Output

Print the cost of the Ferris wheel for Takahashi.

Sample Input 1

30 100

Sample Output 1

100

Takahashi is 30 years old now, and the cost of the Ferris wheel is 100 yen.

Sample Input 2

12 100

Sample Output 2

50

Takahashi is 12 years old, and the cost of the Ferris wheel is the half of 100 yen, that is, 50 yen.

Sample Input 3

0 100

Sample Output 3

0

Takahashi is 0 years old, and he can ride the Ferris wheel for free.

Solution in C (GCC 5.4.1) (judge verdict: Wrong Answer)

#include<stdio.h>
 
int main(void){
int N,M,i,j,k;
scanf("%d %d",&N,&M);
 
double A[N],B[M],C[M];
double total = 0;
 
for(i=0;i<N;i++){
  scanf("%lf",&A[i]);
}
for(i=0;i<M;i++){
  scanf("%lf %lf",&B[i],&C[i]);
}
for(k=0;k<M;k++){
  for(j=0;j<B[k];j++){
 
    int count=0;
    double min = 100000000;
 
    for(i=0;i<N;i++){
      if(min>A[i]){
        min = A[i];
        count = i;
      }
    }
    if(A[count]<C[k]){
      A[count] = C[k];
    }
  }
}
for(i=0;i<N;i++){
printf("%2.0lf ",A[i]);
total = total + A[i];
}
printf("%lf",total);
 
return 0;
}