// JavaScript Document
function mudacor(ref,cor)
{
	ref.style.borderColor=cor;
}