placar = dict()

while True:
    nome = input()
    if nome == 'FIM':
        break
    ouro, prata , bronze = [int(x) for x in input().split(" ")]
    placar[nome] = {"ouro":ouro,"prata": prata, "bronze": bronze}

colocacao = 1 
criterios_desempate = ["ouro","prata", "bronze"]
while len(placar) > 0 :
    melhores_paises = placar.keys()

    for criterios in criterios_desempate:
        mais_medalhas = max([placar[pais][criterios] for pais in melhores_paises])
        melhores_paises = [pais for pais in melhores_paises if placar[pais][criterios] == mais_medalhas]
    for pais in sorted(melhores_paises):
        print(f"{colocacao}: {pais}")
        placar.pop(pais)
    colocacao += len (melhores_paises)