public function setOther(int $value): void 	{ 		$this->other = $value; 	}