HASH(0x7fedc25dbb68)