<?php include 'settings.php'; ?>
<?php logit("app_dictdef"); ?>

<?php
  $ien = $_GET['ien']; $ien = htmlspecialchars($ien);
  $filter = $_GET['filter']; $filter = htmlspecialchars($filter);  
  getit("localhost:8090/dict/def/" . $ien ."/" . $filter);
?>