HASH(0x7f5ce8507ab8)