FrontPage › PostScript › IntegratedDevelopmentEnvironment › OperaWebBrowser
".$options[timer]->Write()."