How do I change the map's seed?

To change the map seed, follow the steps below:

1. Open the file server.properties.
2. Find and replace the line level-seed=YOUR_SEED_HERE and enter the desired seed for the server.
3. Delete your map by removing the world folder from your server (optional).
4. Restart the server.