function bold() 
/* //////////////////////////////
// Deze functie voegt tags toe //
// aan de geselecteerde tekst  //
// opdat het vetgedrukt wordt. //
////////////////////////////// */
{ 
	// Range bepaalt de geselecteerde tekst
	var range = document.selection.createRange(); 
	
	if(range.text == "") 
	{ 
		alert("Er is geen tekst geselecteerd!"); 
		return; 
	} 
	else 
	{ 
		range.text = "{b}" + range.text + "{/b}"; 
		range.duplicate(); 
	} 
}