// JavaScript Document

var kleurselect = function(kleur){

	$('kleurpalet').getElements('a').each(function(n){
		n.setStyle('border-color', '#ffffff');
	});
	$('k'+kleur).setStyle('border-color', '#333333');
	$('kleurvlak').value = kleur;

}