awk '$/4 1/+=$2'