"disc 23,13)." . "disc 23,13)." . .