using System;

public class Program

{

    public static void Main()

    {

        string defaultGLCode = "500";

        int shortBranchIdInt = 12567;

        float BILLACCT= (float)Convert.ToDecimal(string.Format("{0}.{1}", defaultGLCode, shortBranchIdInt));

        Console.WriteLine(BILLACCT);

    }

}