Seven police and 25 guerrillas killed in combat