I might as well write to seq.fan (before Neil leaves) to remind everyone that sequence number A123456 is about to be assigned. Should it be reserved for something special? (Sequence A012345 isn't extremely interesting, however.) thanks, Leroy Quet