/* @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 */