SELECT isIPv6String('1234::1234:');