k ! , halt7