Johnny has 17 marbles. Mary has twice as many marbles as Johnny and half as many as Joe. How many marbles does Mary have?

17 * 2 = ?