function printArticle () {
if (window.print != null) 
{ window.print(); } 
else 
{ alert('Om te printen selecteer Print van het File menu.'); 
	}
}