#include int main(void) { printf("%d",15+37); return0; }