readfile(File):-
open(File, read, Stream),
repeat,
read_in(Stream, [_,_,_|S]),
write(S),
S==end_of_file,
close(Stream).