Area-51

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