refresh htdp