Source of checktree.js: