http://www.eclipse.org")" › PHP › ColorCode › http://www.diopen.com")" › From''RonJeffries'PostToExtremeProgrammingMailingListOn2002/5/7''&
".$options[timer]->Write()."