/* contents of a small JavaScript file */ /* contents of a small JavaScript file */