When you are overloaded, don't think of it as not having enough time; think of it as having too much to do. You can't give youself more time, but you can give yourself less to do, at least for the moment. --KentBeck
";
if (isset($options[timer]))
print $menu.$banner."
