// $Id: functions.js,v 1.1 2008/01/26 21:30:28 oliver Exp $

function hideFeedback() {
  new Effect.BlindUp(document.getElementById('feedback'), {duration: 1, delay: 5 });
  new Effect.Fade(document.getElementById('feedback'), {duration: 1, delay: 5 });
}