def right_rotation(x: str, y: int) -> str:
    """
    Rotate x right by a factor of y
    :param x: Bitstring to rotate.
    :param y: Rotation factor.
    :return: Rotated bit.
    """
    new_bit = ""
    for i in range(y, len(x)):
        new_bit += x[i]
    for i in range(y):
        new_bit += x[i]
    return new_bit