document.write(' [2025/1237]');