och wcrkställa dct , som 12 och 13 $.