yup, default tinyproxy port is 8888. ususally people change that.