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