public function unsetElementsInAllCompaniesRankedArray(int $length): void 	{ 		$remaining_elements = count($this->allCompaniesRanked);  		if ($length < $remaining_elements) { 			$this->allCompaniesRanked = array_splice($this->allCompaniesRanked, $length); 		} else { 			$this->allCompaniesRanked = []; 		} 	}