#include <stdio.h>
#include <stdint.h>
uint32_t update_register(uint32_t reg) {
int field = (reg & 0x7c00) >> 10;
if(field < 31)
field++;
reg = reg & ~(0x7C00);
return reg | (field << 10);
}
int main() {
uint32_t reg;
scanf("%u", ®);
uint32_t updated = update_register(reg);
printf("%u", updated);
return 0;
}