class E

feature

	get_hash_code: INTEGER is
		do
			Result := 5
		end

end