document end is like ENDSTMT