let
pos_div = div