That's correct.
FORMAT "x(50)" is just shorthand of saying FORMAT "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" (ie. x 50 times)
When you say FORMAT "x (50)", you're saying you only want one x, ie. one character, so the '12345' gets truncated to the first character, which is '1'. And...