#include <stdio.h>

int main(void){
  int m;
  scanf("%d",&m);
  printf("%d\n",12*m);

  return 0;
    
}