var searchWorking=true;  // last checked: 10:15 AM