From www.webstruck.org - January 18, 2014 1:11 PM
If you were using (now broken) Google search set timer feature and waiting for it to work again, consider this easy alternative using e.ggtimer.com