twelve subtracted from k​