using System;

using System.Collections;

using System.Collections.Generic;

using System.Linq;

public class Program

{

    public static void Main()

    {

        int n=Convert.ToInt32(Console.ReadLine());

        while(n>0)

        {

            string CompanyName=Console.ReadLine();

            double SharePrice=Convert.ToDouble(Console.ReadLine());

            int noofshare=Convert.ToInt32(Console.ReadLine());

            string Exchange=Console.ReadLine();

            var vehi=new Company(CompanyName,SharePrice, noofshare,Exchange);

            StockMarket.Add(vehi);

            n--;    

        }

        int ch=Convert.ToInt32(Console.ReadLine());

        if(ch==1)

        {

            string tr=Console.ReadLine();

            double cap=StockMarket.MarketCapValue(tr);

            cap=Math.Round(cap,2);

            if(cap==0)

                Console.WriteLine("No company registered with name {0}",tr);

            else

            {

                Console.WriteLine("{0}:{1}",tr,cap);

            }

        }

        if(ch==2)

        {

            List<Company> ll=StockMarket.topCo();

            if(ll.Count()<3)

                Console.WriteLine("Insufficient data");

            else

            {

                foreach(Company p in ll)

                {

                    double sp=Math.Round(p.SharePrice,2);

                    double mc=Math.Round(p.MarketCap,2);

                    Console.WriteLine("{0}:{1}:{2}:{3}",p.CompanyName,sp,mc,p.Exchange);

                }

            }

        }

    }

}

​

public class Company

{

    public string CompanyName{get;set;}

    public double MarketCap{get;set;}

    public double SharePrice{get;set;}

    public int noofshare{get;set;}

    public string Exchange{get;set;}

    public Company(){}

    public Company(string CompanyName,double SharePrice,int noofshare,string Exchange)

    {

        this.CompanyName=CompanyName;

        this.SharePrice=SharePrice;

        this.noofshare=noofshare;

        this.Exchange=Exchange;

        MarketCap=SharePrice*noofshare;

    }

}

public static class StockMarket

{

    public static List<Company> cc=new List<Company>();

    public static void Add(Company k)

    {

        cc.Add(k);

    }

    public static double MarketCapValue(string cN)

    {

        double cap=0.0;

        foreach(Company c in cc.FindAll(k=>k.CompanyName.ToUpper().Equals(cN.ToUpper())))

        {

            cap+=c.MarketCap;

        }

        return cap;

    }

    public static List<Company> topCo()

    {

     List<Company> cp=new List<Company>();

        cp=cc.OrderByDescending(s=>s.MarketCap).ToList();

     List<Company> cp1=new List<Company>();

        int count=0;

        foreach(Company e in cp)

        {

            count++;

            if(count<=3)

            {

                cp1.Add(e);

            }

        }

        return cp1;

    }

}