sub ipv4_6to4{
  return sprintf("2002:%s%s:%s%s::/48", map {sprintf("%02x",$_)} split(/\./,$_[0]));
}