// JavaScript Document
function setFlashHeight(height, message) {
  document.getElementById("flashDiv").height = height;
//  alert(message);
}

function setFlashStatus(message) {
  window.status = message;
}