FrontPage › CharlesPetzold › Gun~TitleIndex › CheekToCheek › DonaldKnuth
".$options[timer]->Write()."