document.write('142839 downloads! Last downloaded June 3, 2025 12:38 PDT.');