[(j-25) x 64-12 ]: 4:5 = 25​