for information only : SERVER.EXE Sizes
---------------------------------------

SERVER.5	519.590
SERVER.10	519.548
SERVER.25	519.682
SERVER.50	519.797
SERVER.100	519.907
SERVER.250	520.345

use DOS or a CMD-shell to check the exact size !