slicing in python string