
<!--
function selectEmpty()	{
	if(document.selection.type != "none")	{
		document.selection.empty()
	}
}
document.onmouseup = selectEmpty
document.onmousemove = selectEmpty
//-->