//Fonction getElementById(id)
function element(id){
	return document.getElementById(id);
}

function lien_ref_on(id){
 element(id+'_link').style.color='<?php echo $c4;?>';
 element(id).style.border='4px solid <?php echo $c4;?>';
}

function lien_ref_off(id){
 element(id+'_link').style.color='<?php echo $c1;?>';
 element(id).style.border='4px solid <?php echo $c1;?>';
}