HASH(0x7fedc25ab638)