<?php function loadTxt() { } function writeTitle() { document.write("<title>" + "HTML редактор" + "</title>") } ?>