What are two ways the IPv6 address 2345:0000:0000:0000:0000:0000:0100:1111 can be written?