/* @JUDGE_ID:4461XX 10071 C */
/* A */
#include<stdio.h>
void main( void )
{
	int a , b ;
	while( scanf( "%d %d" , &a , &b ) == 2 )
		printf( "%d\n" , 2*a*b ) ;
}
/* @END_OF_SOURCE_CODE */