" ' ~D ( 2423