var sRepeat=null;

function msover() //This function change the color of the left menu bar on mouse over event
{
event.srcElement.style.color="#000099";
event.srcElement.style.backgroundColor="#6699cc";
event.srcElement.style.cursor = "hand";
}

function msout() //This function change the color of the left menu bar on mouse out event
{
event.srcElement.style.color="";
event.srcElement.style.backgroundColor="";
event.srcElement.style.cursor = "auto";
}

function go_url()//Button to the forum
{
document.location="ALL.asp?Fnumber=1"
}

//Disable select-text script (IE4+, NS6+)- By Andy Scott
//Exclusive permission granted to Dynamic Drive to feature script
//Visit http://www.dynamicdrive.com for this script

/*function disableselect(e)  //Disable select-text 
{
return false
}

function reEnable()  //Disable select-text 
{
return true
}

//if IE4+ Disable select-text 
document.onselectstart=new Function ("return false")

//if NS6  Disable select-text
if (window.sidebar)
{
document.onmousedown=disableselect
document.onclick=reEnable
}
*/

var navegador = navigator.appName
function doScrollerIE(dir, src, amount) //This function scroll the examples the left menu bar 
{	
	if (amount==null) 
		amount=10
	if (dir=="up") 
		document.all[src].scrollTop-=amount
	else 
		document.all[src].scrollTop+=amount
	if (sRepeat==null) 
		sRepeat = setInterval("doScrollerIE('" + dir + "','" + src + "'," + amount + ")",100)

return false
}

window.document.onmouseout = new Function("clearInterval(sRepeat);sRepeat=null");
window.document.ondragstart = new Function("return false");

function select_all(x)  //This function select the text in the textarea below
{
document.forms[x].elements[0].focus()
document.forms[x].elements[0].select()
}

var highlightcolor="#FFFFFF"
var ns6=document.getElementById&&!document.all
var previous=''
var eventobj
var intended=/INPUT|TEXTAREA|SELECT|OPTION/

function checkel(which)
{
	if (which.style&&intended.test(which.tagName))
	{
		if (ns6&&eventobj.nodeType==3)
			eventobj=eventobj.parentNode.parentNode
		return true
	}
	else
		return false
}

function highlight(e)
{
eventobj=ns6? e.target : event.srcElement
	if (previous!='')
	{
		if (checkel(previous))
			previous.style.backgroundColor=''
		previous=eventobj
		if (checkel(eventobj))
			eventobj.style.backgroundColor=highlightcolor
	}
	else
	{
		if (checkel(eventobj))
			eventobj.style.backgroundColor=highlightcolor
		previous=eventobj
	}
}



