($s/../document/@filename='int000083' or $s/../document/@filename='int000008' or $s/../document/@filename='int000009' or $s/../document/@filename='int000010' or $s/../document/@filename='int000011' or $s/../document/@filename='int000012' or $s/../document/@filename='int000013' or $s/../document/@filename='int000014' or $s/../document/@filename='int000015' or $s/../document/@filename='int000016' or $s/../document/@filename='int000017' or $s/../document/@filename='int000087' or $s/../document/@filename='int000018' or $s/../document/@filename='int000088' or $s/../document/@filename='int000019' or $s/../document/@filename='int000020' or $s/../document/@filename='int000021' or $s/../document/@filename='int000090' or $s/../document/@filename='int000022' or $s/../document/@filename='int000091' or $s/../document/@filename='int000023' or $s/../document/@filename='int000092' or $s/../document/@filename='int000024' or $s/../document/@filename='int000093' or $s/../document/@filename='int000025' or $s/../document/@filename='int000094' or $s/../document/@filename='int000026' or $s/../document/@filename='int000027' or $s/../document/@filename='int000028' or $s/../document/@filename='int000029' or $s/../document/@filename='int000096' or $s/../document/@filename='int000003' or $s/../document/@filename='int000097' or $s/../document/@filename='int000098' or $s/../document/@filename='int000060' or $s/../document/@filename='int000099' or $s/../document/@filename='int000100' or $s/../document/@filename='int000062' or $s/../document/@filename='int000063' or $s/../document/@filename='int000102' or $s/../document/@filename='int000064' or $s/../document/@filename='int000103' or $s/../document/@filename='int000104' or $s/../document/@filename='int000105' or $s/../document/@filename='int000086' or $s/../document/@filename='int000106' or $s/../document/@filename='int000107' or $s/../document/@filename='int000030' or $s/../document/@filename='int000108' or $s/../document/@filename='int000031' or $s/../document/@filename='int000109' or $s/../document/@filename='int000032' or $s/../document/@filename='int000110' or $s/../document/@filename='int000084' or $s/../document/@filename='int000111' or $s/../document/@filename='int000085' or $s/../document/@filename='int000001' or $s/../document/@filename='int000112' or $s/../document/@filename='int000002' or $s/../document/@filename='int000114' or $s/../document/@filename='int000004' or $s/../document/@filename='int000115' or $s/../document/@filename='int000116' or $s/../document/@filename='int000005' or $s/../document/@filename='int000081' or $s/../document/@filename='int000006' or $s/../document/@filename='int000082' or $s/../document/@filename='int000007')