#!/usr/bin/python3

from socket import AF_INET6, getaddrinfo, inet_pton
from argparse import ArgumentParser

parser = ArgumentParser(description='extract MAC from IPv6 address')
parser.add_argument('ip6', help='ipv6(name)')
args = parser.parse_args()

addr = inet_pton(AF_INET6, getaddrinfo(args.ip6, None, AF_INET6)[0][4][0])

print(("%02x:" * 6)[:-1] % tuple([addr[8] & ~2,] + list(map(int, addr[9:11] + addr[13:16]))))