Perform a significance test

The united states department of education reported 87% of all students enrolled at a college in Texas in the academic year 2000-2001 attended a public institutuion. During the fall 2003, a simple random sample of 1000 Texas college students was obtained and 859 were enrolled at a public institution. Use this information to determine if the proportion of college students in Texas enrolled at a public institution has changed. Use a=0.05