/*
#include <stdio.h>
#include <stdlib.h>
int main()
{
int e,t;
scanf("%d",&e);
printf("%o",e);
return 0;
}
*/
/*
#include <stdio.h>
#include <stdlib.h>
int main()
{
char s;
long long e,t,r;
scanf("%lld %lld",&e,&t);
printf("%lld",e&t);
return 0;
}
*/
/*
#include <stdio.h>
#include <stdlib.h>
int main()
{
char s;
long long e,t,r;
scanf("%lld %lld",&e,&t);
printf("%lld",e^t);
return 0;
}
*/
/*
#include <stdio.h>
#include <stdlib.h>
int main()
{
char s;
int e,t,r;
scanf("%d %d",&e,&t);
printf("%d",e+t);
return 0;
}
*/
/*
#include <stdio.h>
#include <stdlib.h>
int main()
{
char s;
int e,t,r;
scanf("%d %d",&e,&t);
printf("%d+%d=%d\n%d-%d=%d\n%d*%d=%d\n%d/%d=%d",e,t,e+t,e,t,e-t,e,t,e*t,e,t,e/t);
return 0;
}
*/
/*
#include <stdio.h>
#include <stdlib.h>
int main()
{
char s;
float e,t,r;
scanf("%f %f",&e,&t);
printf("%.2f",e*t);
return 0;
}
/*/
/*/
#include <stdio.h>
#include <stdlib.h>
int main()
{
char s;
float e,t,r;
scanf("%f %f",&e,&t);
printf("%.1f",e*t/2);
return 0;
}
/*/
/*
#include<stdio.h>
int main()
{
int d;
scanf("%d",&d);
printf("%d %d",d/60,d%60);
}
*/
/*
#include<stdio.h>
int main()
{
int e;
scanf("%d",&e);
printf("%.3f",(float)9/5*e+32);
}
*/