mixeddicktex (153.038)