The search functionality needs JavaScript enabled
Flushes the stream and makes sure that all data is being written to the output device.
void flush ();