lif * a 5 ; 12.