awk -vRS= 'END{print NR}'