function menu(a)
{
	switch (a)
	{
		case 1: return '<a href="./index.html" title="Home">&nbsp;Home&nbsp;</a>';
		break;
		case 2: return '<a href="./bedrijfsprofiel.html" title="Bedrijfsprofiel">Bedrijfsprofiel</a>';
		break;
		case 3: return '<a href="./engineering.html" title="Engineering">Engineering</a>';
		break;
		case 4: return '<a href="./gereedschappen.html" title="Gereedschapmakerij">Gereedschapmakerij</a>';
		break;
		case 5: return '<a href="./stamperij.html" title="Stamperij">Stamperij</a>';
		break;
		case 6: return '<a href="./spuitgieterij.html" title="Spuitgieterij">Spuitgieterij</a>';
		break;
		case 7: return '<a href="./machinelijst.html" title="Machinelijst">Machinelijst</a>';
		break;
		case 8: return '<a href="./contact.html" title="Contact">Contact</a>';
		break;
		case 9: return '<a href="./nieuws.html" title="Nieuws">&nbsp;Nieuws</a>';
		break;
		default: return '';
	}
}