document.write("רביעי, י\"ג בתמוז, תשפ\"ה");