VannevarBush › BourbakiSong › NoSmokiosome › FontTypeAndSize › EditTextForm
".$options[timer]->Write()."