var process_request = "{$lang.process_request}";
</script>
<script type="text/javascript">
function $(element) {
  return document.getElementById(element);
}