if [[ "$file" == "" ]]; then
        echo "No file specified." >&
else
        if [[ $lines == "" ]]; then lines=5 ; fi
        if [[ $titlenum == "" ]]; then titlenum=0 ; fi

        cat $file |\
        sed -e 's/<\/result_name>/\n/g' |\
        grep -o '<result_name>.*' |\
        sed -e 's/<result_name>//' |\
        head -n $(($lines + $titlenum)) |\    
        tail -n $(($lines))
fi