@Universal
    public static String atIndex( String str, int index, char c ) {
    """
	Puts character at index
	@param str string
	@param index index
	@param c char to put in
	@return new string
    """
            return idx (str, index, c);
    }
@Universal
    public static String atIndex( String str, int index, char c ) {
            return idx (str, index, c);
    }
@ Universal public static String atIndex ( String str , int index , char c ) { return idx ( str , index , c ) ; }
Puts character at index
@param str string
@param index index
@param c char to put in
@return new string
Puts character at index