There are 40 marbles inside a box. Thirty percent of these marbles are red. How many are red marbles?