'[38]' is printed at the foot of the second column.