let dtd_1 = " ";; let dtd_2 = " ";;