Constant K1 

const K1: i64 = 0x154442bd4;