(mod(3.8e-6*1.2*1e9,2*8