プログラミング言語：C

コンパイラ：
Linux -> gcc-3.3.2

質問：
fgets(buffer, 5, stdin)で、1234567890を読み込んだ場合、
もう一度入力をさせるプログラムを作りたいのですが、
1234がbufferに読み込まれ、567890はstdinに残ったままになっているようで、
うまく処理ができません。
stdinに残っている値を処理する良い方法はないでしょうか？