([1*global_const>5]);