function tekst(a)
{
	switch (a)
	{
		case 1: return '<h2><span>Machinelijst</span></h2>';
		break;
		case 2: return 'Laatst gewijzigd: 19 mei 2010';
		break;
		default: return '';
	}
}