def add_len(string):
	result = ''
	for w in split(string, ' '):
		result += w + ' ' + to_string( len(w) )
	return result