string upper_case(string str) Convert all characters in "str" to upper case, and return the new string. See also: efun/lower_case, efun/capitalize