0x40142be1