twfb: Ensure randomNumber is no larger than 10000.

This is the result of UPDATE World SET randomNumber=randomNumber%10000.