HASH(0x7efecc511018)