begin x1 x2 x3 done