print_int(2*read_int())