function writeHeader() {
    document.write('Version 2.3.0');
};

function writeFooter()  {
    document.write('Generated on Thu Nov  9 2023 11:06:23 for CMSIS-RTOS2 2.3.0. Copyright © 2023 Arm Limited (or its affiliates). All rights reserved.');
};