LegacySystem › AlphaCentauri › PhpLanguage › PL/TitleIndex › PeterSinger › TabuSearching
".$options[timer]->Write()."