Change NUMDATAOPTIONS to 140, to make more room for new infoboxes.
Notice: we have enough infoboxes already.
	modified:   ../Header/Sizes.h