0x6252db3