JScript › DeterministicFiniteStateAutomata › IterativeDevelopment › PL/HelpOnFormatting › IMDB/HelpOnFormatting
".$options[timer]->Write()."