public function getTotalNumberOfEmployeesInCompany(): int 	{ 		return $this->number_of_employees; 	}