#include <stdio.h>



void Flush()
{
   fflush(stdout);
}