92                     apply "document('')/*/definitions:*";

    92                     apply "document('')/*/definitions:*";

    93 

    93 

    94                     | \n//\n//\n// Statements that needs to be at the end \n//\n//

    94                     | \n//\n//\n// Statements that needs to be at the end \n//\n//

    95                     apply "document('')/*/epilogue:*";

    95                     apply "document('')/*/epilogue:*";

    96 

    96 

    97                     include text svghmi.js

    99                     include text svghmi.js

    98 

   100 

    99                 }

   101                 }

   100             }

   102             }

   101         }

   103         }