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