function Swap(b){
	a=document.getElementById('img'+b)
	a.src=a.src.substring(0,a.src.length-4)+"-active.gif"
}
function SwapBack(b){
	a=document.getElementById('img'+b)
	a.src=a.src.substring(0,a.src.length-11)+".gif"
}
function RemoveMask(b){
	a=document.getElementById('mask'+b);
	a.style.visibility='hidden';
}
function SetMask(b){
	a=document.getElementById('mask'+b);
	a.style.visibility='visible';
}