[Python] String manipulation

1. length of string
>>> len(s)

2. Concatenate
>>> 'string1234' + 'string5678'

3. Casting to other type
>>> int("42")

4. Casting from other type to string
>>> x = 123
>>> str(x)