static int stefansCountdown_value() {
  ret (int) (17687-4+30+31+31-(unixHour()+2)/24);
}