function usedMachine_showPhoto(id){	 
	  document.getElementById(id+"_text").style.display = 'none';
	  document.getElementById(id+"_photo").style.display = 'block';
	 }
	 function usedMachine_showText(id){	 
	  document.getElementById(id+"_photo").style.display = 'none';
	  document.getElementById(id+"_text").style.display = 'block';
	 }


// This is the main function that does all the work
function switchStyleOfUser(){
	var fontSize = GetCookie('switchstyle');
	if (fontSize == null) {
		fontSize = 2;
	}

	if (fontSize == "1") { document.write('<link rel="stylesheet" type"text/css" href="fileadmin/templates/css/font_small.css" media="screen">'); }
	if (fontSize == "2") { document.write('<link rel="stylesheet" type"text/css" href="fileadmin/templates/css/font_default.css" media="screen">'); }
	if (fontSize == "3") { document.write('<link rel="stylesheet" type"text/css" href="fileadmin/templates/css/font_big.css" media="screen">'); }

	var fontSize = "";
	return fontSize;
}



// Function to get the settings of the user
function getCookieVal (offset) {
	var endstr = document.cookie.indexOf (";", offset);
	if (endstr == -1)
	endstr = document.cookie.length;
	return unescape(document.cookie.substring(offset, endstr));
}

// Function to get the settings of the user
function GetCookie (name) {
	var arg = name + "=";
	var alen = arg.length;
	var clen = document.cookie.length;
	var i = 0;
	while (i < clen) {
		var j = i + alen;
		if (document.cookie.substring(i, j) == arg)
		return getCookieVal (j);
		i = document.cookie.indexOf(" ", i) + 1;
		if (i == 0) break;
	}
	return null;
}


function fontSize(size){
 var expDate = new Date();
 expDate.setTime(expDate.getTime() + (9999*24*60*60*1000));
 
 document.cookie = 'switchstyle' + "=" + escape (size) + "; expires=" + expDate.toGMTString();

 document.location.reload();
}


switchStyleOfUser();