function switchCsstoprint(sheet)
{
	document.getElementById('RUB-Normal').removeAttribute('href');
	document.getElementById('RUB-Normal').setAttribute('href', sheet);
}