function fill_text(content)
{
	var windowFrame = document.getElementById("windowText");
	windowFrame.innerHTML = content;
}