Node:$INPUT_LINE, Next:$KEYWORD, Previous:$INCR, Up:Built-in functions
$INPUT_LINE: Line number that begins current section$INPUT_LINE is the number of the line in the web source file
that begins the current section (not the source line in which the
$INPUT_LINE command appears). Compare $OUTPUT_LINE,
$OUTPUT_LINE.