1.7. String rotation