#include #include void main(void){ double count = 0; scanf("%le",&count); printf("%0.f",floor(count*1.5)); }