lie_m;1200;lie_};1800;