"HARTLIB" . . "HARTLIB" . .