%9LocalKeywords/FindPage › ABeautifulMind › RichardHamming › Moon › GeraldWeinberg › DontBeDidactic
".$options[timer]->Write()."