var str = "123456"
str.add("78") # Using procedure "add".
str &= "9!"   # Using operator "&=".
echo str