notebook07 › devotion05 › lefthander › HowToSolveIt › jiho8235han
Comment added
".$options[timer]->Write()."