HASH(0x7fedba653cb8)