val strupr = String.map Char.toUpper; val strlwr = String.map Char.toLower;