(format t"~8000@{9~}
~8000@{9~}"t)