/* Auto-generated at Sun, 14 Jun 26 12:34:16 +0000. */