HASH(0x7fedc25cd848)