#include #include int main(void) { printf("%d\n" , 73 << 4); }