a_st="Hello, World!!!" print("a_st="..string.char(0x22)..a_st..string.char(0x22)) print("string.len(a_st)="..tostring(string.len(a_st)))
