HASH(0x7fedc25a8268)