def mapped_ipv6_to_ipv4(hex):
    """
    For converting ipv4 addresses mapped to ipv6 back to ipv4
    :param hex: ipv6 address without the '00000000:00000000:0000FFFF:' prefix
    :return: String containing the ipv4 address
    """
    grouped = [hex[i:i + 2] for i in range(0, len(hex), 2)]
    return '.'.join(list(map(lambda x: str(int(x, 16)), grouped)))