Sort:  

4000dec is the entry point ... they just didn't do a good job of pointing that out in the post.