[diarrhea]

I get the intention, but a simple x = 2500 would satisfy both worlds.