(this document uses the Javascript snippet)