试把以下的IPv6地址用零压缩方法写成简洁形式： 0：1234：3

【参考答案】

正确答案：0000：1234：00000：0000：0000：0000：0000：0003。