<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">         Parameters:  [#lines {1}]
  
 Sets  the  current  line  pointer  to  the next line, or next by
 "#lines" if given. 
  
 If "#lines" points beyond the bottom of the  file,  the  message
 "BOTTOM"  is  printed, and the current line is set to the bottom
 line. 
</pre></body></html>