let () = let a, b = Scanf.scanf "%d %d\n" @@ fun a b -> a, b in print_int (if a <= b then a*2 else b*2)