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