PDM DEFS ; 7HOL ; £ = # CHAR 163 = (35)