HASH(0x7fedbc038e48)