using System;
using System.IO;
using System.Text.RegularExpressions;

namespace D3._1
{
    class Program
    {
        static void Main(string[] args)
        {
            if (args.Length < 1) return;
            if (File.Exists(args[0]) == false) return;

            var file = File.OpenText(args[0]);

            var fabric = new int[1000, 1000];

            do
            {
                var line = file.ReadLine();
                if (line == null) break;

                var l = line.Split("@")[1];

                var xy = l.Split(":")[0];
                var wh = l.Split(":")[1];

                var x = int.Parse(xy.Split(",")[0]);
                var y = int.Parse(xy.Split(",")[1]);
                var w = int.Parse(wh.Split("x")[0]);
                var h = int.Parse(wh.Split("x")[1]);

                for (int i = x; i < x + w; i++)
                {
                    for (int j = y; j < y + h; j++)
                    {
                        fabric[i, j]++;
                    }
                }
            } while (true);

            int count = 0;
            for (int x = 0; x < 1000; x++)
            {
                for (int y = 0; y < 1000; y++)
                {
                    if (fabric[x, y] >= 2) count++;
                }
            }

            Console.WriteLine(count);
        }
    }
}