Constant THIRTEENS 

const THIRTEENS: u64 = 0x0d0d0d0d0d0d0d0d;