CHARS ← ["╟", "╚", "╔", "╩", "╦", "╠", "═", "╬", "╧"]
num ← 0
REPEAT UNTIL num = 1000 {
    idx ← RANDOM(1, LENGTH(CHARS)-1)
    DISPLAY(CHARS[idx])
    num ← num + 1
}