document.write('<div align="left" class="dat">&nbsp;&nbsp;<strong>Release date:</strong> November 19, 2020<br/>&nbsp;&nbsp;<strong>Next release date:</strong> December 3, 2020<br/><!--&nbsp;&nbsp;<strong>Re-release date:</strong> November 13, 2017 <a href="correction.html">Revision/Correction</a><br/>--><br/></div>')