#yuki_453

c,d=map(float,raw_input().split())
a=(5*c-2*d)*4/13
b=(3*d-c)*7/13
if a>=0 and b>=0:
 print 1000*a+2000*b
elif a<0:
 print 7000*c
else:
 print 4000*d