document.write('<div align="left" class="dat">&nbsp;&nbsp;<strong>Release date:</strong> May 2, 2024<br/>&nbsp;&nbsp;<strong>Next release date:</strong> May 16, 2024<br/><!--&nbsp;&nbsp;<strong>Re-release date:</strong> December 32, 2017 <a href="correction.html">Revision/Correction</a><br/>--><br/></div>')