// Generic button code
function ctx(){
	return document.getElementById('ctx').value;
}

function buttonUp(name){
		//document.getElementById(name).src= ctx()+'/images/buttons/'+removeTail(name)+'Up.gif';

        var images = document.getElementsByTagName('img');

        for (var i = 0; i < images.length; i++)
           if (images[i].id==name)
				images[i].src= document.getElementById('ctx').value+'/images/buttons/'+removeTail(name)+'Up.gif';
           
}

function buttonDown(name){
		//document.getElementById(name).src= ctx()+'/images/buttons/'+removeTail(name)+'Down.gif';

        var images = document.getElementsByTagName('img');

        for (var i = 0; i < images.length; i++)
           if (images[i].id==name)
				images[i].src= document.getElementById('ctx').value+'/images/buttons/'+removeTail(name)+'Down.gif';
}

function buttonOut(name){
		//document.getElementById(name).src= ctx()+'/images/buttons/'+removeTail(name)+'.gif';
        var images = document.getElementsByTagName('img');

        for (var i = 0; i < images.length; i++)
           if (images[i].id==name)
				images[i].src= document.getElementById('ctx').value+'/images/buttons/'+removeTail(name)+'.gif';
}

function removeTail(buttonName){

	// removes a numeric tail on the button name, 
	// which is used to have multiple instances of a button with the same image

    var numericChars = "0123456789_";
	    
	while(numericChars.indexOf(buttonName.charAt(buttonName.length-1))!=-1){
		buttonName = buttonName.substr(0,buttonName.length-1);
	}
	
	return buttonName;
}

function hasRole(role){
	for(var i=0;i<userRoles.length;i++)
		if(userRoles[i]==role)
			return true;
	return false;
}