function post(paramstr, url)
 {
  var f = document.f;    
  if (!f) { var f = document.createElement('form'); }
  if (url != '') { f.action = url; }
  f.method = 'post';
  f.style.display = 'none';

  s = new String(paramstr);
  params = s.split('&');
  for (i=0; i < params.length; i++)
   {
    v = params[i].split('=');
    if (v.length == 2)
     {
      input = document.createElement('input');
      f.appendChild(input);
      input.name = v[0];
      input.value = v[1];
     }
   }

  el = document.getElementsByTagName('body')[0];
  el.appendChild(f);
  f.submit();
 }
 
function search()
 {
  document.search_form.submit();
 }