Source of checktree.html: