What is the total number of students?
select count(*) from student