7. В коробке было 7 красных карандашей, а синих – в 2 раза больше, чем красных. Сколько синих карандашей было в коробке ?