($s/../document/@filename='int000257' or $s/../document/@filename='int000258' or $s/../document/@filename='int000259' or $s/../document/@filename='int000238' or $s/../document/@filename='int000239' or $s/../document/@filename='int000240' or $s/../document/@filename='int000241' or $s/../document/@filename='int000236' or $s/../document/@filename='int000242' or $s/../document/@filename='int000237' or $s/../document/@filename='int000243' or $s/../document/@filename='int000244' or $s/../document/@filename='int000245' or $s/../document/@filename='int000246' or $s/../document/@filename='int000247' or $s/../document/@filename='int000248' or $s/../document/@filename='int000249' or $s/../document/@filename='int000250' or $s/../document/@filename='int000227' or $s/../document/@filename='int000251' or $s/../document/@filename='int000252' or $s/../document/@filename='int000228' or $s/../document/@filename='int000253' or $s/../document/@filename='int000229' or $s/../document/@filename='int000254' or $s/../document/@filename='int000230' or $s/../document/@filename='int000255' or $s/../document/@filename='int000231' or $s/../document/@filename='int000256' or $s/../document/@filename='int000232' or $s/../document/@filename='int000233' or $s/../document/@filename='int000234' or $s/../document/@filename='int000235' or $s/../document/@filename='int000260' or $s/../document/@filename='int000261' or $s/../document/@filename='int000262' or $s/../document/@filename='int000263' or $s/../document/@filename='int000264')