<!DOCTYPE html>
<html lang="%lang;">
<head>
  <!-- $Id: upddatamenu.txt v7.1 10/01/2023 20:01:49 $ -->
  <!-- Copyright (c) 2006-2007 INRIA -->
  <title>[*lists]</title>
  <meta name="robots" content="none">
  <meta charset="UTF-8">
  <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
  <link rel="shortcut icon" href="%images_prefix;favicon_gwd.png">
  %include;css
</head>
<body%body_prop;>
%include;hed
%include;home
<div class="container">



%base_trailer;
%include;copyr
</div>
%include;js
</body>
</html>
