// JavaScript Document

function change_border(id,color){
	
	document.getElementById(id).style.border = '1px solid ' + color; 
	
}