same value as used in random() - definitely make this a constant.