long m12(long k) { return 12 * k; }