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