skip_line( Stream ) :-
	skip( Stream, 10 ).