function sanitize(str) {//{{{
  str = str.toLowerCase();
  re = /[^a-z0-9]/g;
  str = str.replace(re,'_');
  while(str != str.replace('__','_'))
    str = str.replace('__','_');
  re = /(^_)|(_$)/g;
  str = str.replace(re,'');
  return str;
}//}}}
function postSubmit(action,data) {//{{{
  /* postSubmit
   * Submit a form to the url specified in @action
   * @action	Destination url
   * @data	Hash object with Post data
   */
  var div = new Element('div',{'style':'visibility:hidden;'});
  var form = new Element('form',{'method':'post','action':action});

  data.each(function(pair){
      var input = new Element('input',{
	'type':'text',
	'name':pair.key,
	'value':pair.value
	});
      form.appendChild(input);
      });

  div.appendChild(form);
  document.body.appendChild(div);
  form.submit();
}//}}}