function over(element) {
element.style.borderStyle= "solid";
element.style.borderWidth = "1px";
element.style.borderColor = "#000000";
element.style.backgroundColor = "#F1F1F1";
element.style.cursor = "hand";
}

function out(element) {
element.style.borderColor = "#CCCCCC";
element.style.backgroundColor = "#CCCCCC"
element.style.cursor = "default";
}

function readyDiv() {
var theHTML;
theHTML = document.all.tags('div')['pageHTML'].innerText;
document.all.tags('div')['pageHTML'].innerHTML = theHTML;
}

function cmdExec(cmd,opt) {
pageHTML.document.execCommand(cmd,"",opt);
document.body.all.tags('div')['pageHTML'].focus();
}

function createLink() {
cmdExec("CreateLink");
}

function insertImage() {
var sImgSrc = prompt("Image: ", "http://www.[domain].[ext]/[folder]/[file]");
if(sImgSrc!=null)
cmdExec("InsertImage",sImgSrc);
}

function div2hidden(objForm) {
objForm.pageHTML.value = document.all.tags('div')['pageHTML'].innerHTML;
}


function menuOver(obj,nr) {
	obj.src='/images/index_over_'+nr+'.gif'
}

function menuOut(obj,nr) {
	obj.src='/images/index_'+nr+'.gif'
}

	
function cleanup_pasted(objname) {
	var mytext = window.clipboardData.getData('Text');
	window.clipboardData.clearData('Text');
	window.clipboardData.clearData('HTML');
	window.clipboardData.setData('Text', mytext);
}