add procedure up-split