while key <> "" : end while
print "Keyboard buffer flushed"