When the cosine waveform x(t) = 3 cos(500πt) is sampled at a rate fs, we obtain a discrete-time signal x[n] given by x[n] = x(n/fs) = 3 cos(800πn/fs). What is the value of fs?