Tree navigation JS code (on other people's website)