($s/../document/@filename='int000656' or $s/../document/@filename='int000657' or $s/../document/@filename='int000493' or $s/../document/@filename='int000658' or $s/../document/@filename='int000496' or $s/../document/@filename='int000659' or $s/../document/@filename='int000660' or $s/../document/@filename='int000661' or $s/../document/@filename='int000648' or $s/../document/@filename='int000662' or $s/../document/@filename='int000649' or $s/../document/@filename='int000650' or $s/../document/@filename='int000651' or $s/../document/@filename='int000664' or $s/../document/@filename='int000665' or $s/../document/@filename='int000652' or $s/../document/@filename='int000653' or $s/../document/@filename='int000674' or $s/../document/@filename='int000675' or $s/../document/@filename='int000676' or $s/../document/@filename='int000677' or $s/../document/@filename='int000678' or $s/../document/@filename='int000666' or $s/../document/@filename='int000667' or $s/../document/@filename='int000679' or $s/../document/@filename='int000680' or $s/../document/@filename='int000668' or $s/../document/@filename='int000681' or $s/../document/@filename='int000669' or $s/../document/@filename='int000670' or $s/../document/@filename='int000671' or $s/../document/@filename='int000273' or $s/../document/@filename='int000672' or $s/../document/@filename='int000274' or $s/../document/@filename='int000673' or $s/../document/@filename='int000654' or $s/../document/@filename='int000655')