class Save {
    static function main() {
		var params = php.Web.getParams();
        var s = untyped params.exists('s') ? params.get('s') : 'none';
		var fh = php.io.File.append('hall.txt', false);
		fh.writeString("[" + Date.now() + "] " + s + "\n");
		fh.close();
    }
}