GoodThinking › StephanWolfram › WinningEleven › AllenIverson › NaganoMamoru › StructuredText
".$options[timer]->Write()."