$length:=Length("Hello, world!")