#include #include #include #include #include int main(void) { int n; scanf("%d",&n); n*=1.5; printf("%d",n); }