Jason has 18 cards. He has 3 blue cards and he has 4 more green cards than blue ones. The rest of red. How many red cards does Jason have?