/* @judge_id: 1705PZ 10071 C */
#include <stdio.h>

main()
{
	int m, n;
	while(scanf("%d %d", &m, &n) == 2) {
		printf("%d\n", 2 * m * n);
	}
}