al^3 = 9 kilo.