a|@@b;