#include <stdio.h>
#include <stdint.h>
uint32_t set_baud_rate(uint32_t reg, uint8_t baud) {
uint32_t mask = 0xF00; // bits 8-11
reg = (reg & ~mask) | ((baud & 0xF) << 8);
return reg;
}
int main() {
uint32_t reg;
uint8_t baud;
scanf("%u %hhu", ®, &baud);
printf("%u\n", set_baud_rate(reg, baud));
return 0;
}