function setPort($value) {
		// sets the port#
		$this->port=$value;
	}