HASH(0x7fedc8032338)