var sean_notified = true;