HASH(0x7fedfe5acab0)