IraEinhorn › MoralHazard › TrollTech › EoDdeonNal1 › WikiWikiFun › PeterNorvig
".$options[timer]->Write()."