What is 10 percent of 200?​