"<?php echo $_SERVER['REQUEST_URI']; ?>" method =
"post"> <input type = "hidden" name = "jirafeau" value =
"<?php echo JIRAFEAU_VERSION; ?>" /><fieldset>
"<?php echo $_SERVER['REQUEST_URI']; ?>" method =
"post"> <input type = "hidden" name = "jirafeau" value =
"<?php echo JIRAFEAU_VERSION; ?>" /><fieldset>