Write a question about the following article: KAIST produced a total of 48,398 alumni from 1975 to 2014, with 13,743 bachelors, 24,776 masters, and 9,879 doctorate degree holders. As of October 2015, 11,354 students were enrolled in KAIST with 4,469 bachelor’s, 3,091 master’s, and 3,794 doctoral students. More than 70 percent of KAIST undergraduates come from specialized science high schools. On average, about 600 international students from more than 70 different countries come to study at KAIST, making KAIST one of the most ethnically diverse universities in the country.
How many more students were enrolled in doctoral programs than in masters as of October 2015?