($s/../document/@filename='int000711' or $s/../document/@filename='int000330' or $s/../document/@filename='int000712' or $s/../document/@filename='int000713' or $s/../document/@filename='int000714' or $s/../document/@filename='int000703' or $s/../document/@filename='int000715' or $s/../document/@filename='int000704' or $s/../document/@filename='int000716' or $s/../document/@filename='int000705' or $s/../document/@filename='int000718' or $s/../document/@filename='int000701' or $s/../document/@filename='int000707' or $s/../document/@filename='int000719' or $s/../document/@filename='int000702' or $s/../document/@filename='int000708' or $s/../document/@filename='int000720' or $s/../document/@filename='int000709' or $s/../document/@filename='int000721' or $s/../document/@filename='int000710' or $s/../document/@filename='int000722' or $s/../document/@filename='int000723' or $s/../document/@filename='int000724' or $s/../document/@filename='int000686' or $s/../document/@filename='int000687' or $s/../document/@filename='int000688' or $s/../document/@filename='int000306' or $s/../document/@filename='int000689' or $s/../document/@filename='int000307' or $s/../document/@filename='int000690' or $s/../document/@filename='int000308' or $s/../document/@filename='int000696' or $s/../document/@filename='int000691' or $s/../document/@filename='int000309' or $s/../document/@filename='int000697' or $s/../document/@filename='int000692' or $s/../document/@filename='int000310' or $s/../document/@filename='int000698' or $s/../document/@filename='int000693' or $s/../document/@filename='int000311' or $s/../document/@filename='int000699' or $s/../document/@filename='int000312' or $s/../document/@filename='int000313' or $s/../document/@filename='int000314' or $s/../document/@filename='int000315' or $s/../document/@filename='int000316' or $s/../document/@filename='int000317' or $s/../document/@filename='int000318' or $s/../document/@filename='int000319' or $s/../document/@filename='int000320' or $s/../document/@filename='int000321' or $s/../document/@filename='int000322' or $s/../document/@filename='int000323' or $s/../document/@filename='int000324' or $s/../document/@filename='int000682' or $s/../document/@filename='int000325' or $s/../document/@filename='int000683' or $s/../document/@filename='int000326' or $s/../document/@filename='int000684' or $s/../document/@filename='int000327' or $s/../document/@filename='int000685' or $s/../document/@filename='int000328' or $s/../document/@filename='int000329')