В коробке 5 красных карандашей, а синих карандашей в 3 раза больше. Сколько синих карандашей в коробке?