'[42]' is printed at the foot of the second column beneath the