($s/../document/@filename='int000265' or $s/../document/@filename='int000266' or $s/../document/@filename='int000267' or $s/../document/@filename='int000268' or $s/../document/@filename='int000269' or $s/../document/@filename='int000270' or $s/../document/@filename='int000271' or $s/../document/@filename='int000272')