function boldElement (xxx)
{
	document.getElementById(xxx).style.fontWeight = "bold";
}

function uitverkocht ( )
{
	alert('Dit artikel is helaas tijdelijk uitverkocht!')
}

function snelWeer ( )
{
	alert('Dit artikel is binnenkort weer te koop!')
}

function teBestellen ( )
{
	alert('Dit product is momenteel uitverkocht, maar op verzoek bij te bestellen.\nHou wel rekening met een langere levertijd!')
}