#include <stdio.h> int main() {int i = 75; printf("%d", i << 2); return 0;}