Four ways to tune the WebSDR's receive frequency