SELECT count(*) FROM user