codice:
#!/bin/bash

#input file come primo param dello script
INPUT_FILE=$1

#output file come secondo param dello script
OUTPUT_FILE=$2

NODE=`grep -n *Node $INPUT_FILE | cut -d ":" -f 1`
ELEMENT=`grep -n *Element $INPUT_FILE | cut -d ":" -f 1`

DIFF=$(($ELEMENT-$NODE))

tail -n +9 $INPUT_FILE | head -n 7 > $OUTPUT_FILE
non ho provato ma dovrebbe piu' o meno andare.