The Normal Distribution · Challenge problem

Adult weights in a study are normal with mean $70$ kg and standard deviation $10$ kg, and every weight is recorded rounded to the nearest whole kilogram. What fraction of the recorded weights are exactly $80$ kg? Use the standard normal table and give four decimal places.