function delete_device() {
	var cookie_date = new Date ( );  // current date & time
	cookie_date.setTime ( cookie_date.getTime() - 1 );
	document.cookie = "device_id=; path=/; expires=" + cookie_date.toGMTString();
	document.cookie = "platform_id=; path=/; expires=" + cookie_date.toGMTString();
	window.location.href = "/";
}
function clear_device() {
	var cookie_date = new Date ( );  // current date & time
	cookie_date.setTime ( cookie_date.getTime() - 1 );
	document.cookie = "device_id=; path=/; expires=" + cookie_date.toGMTString();
	document.cookie = "platform_id=; path=/; expires=" + cookie_date.toGMTString();
}
function setdevice(device_id, platform_id, image_link, model, mfg) {
	date = new Date();
	date.setTime(date.getTime() + (365*24*60*60)); // set expiration to one year in future
	document.cookie = "device_id=" + device_id +"; path=/; expires=" + date.toGMTString();
	document.cookie = "platform_id=" + platform_id +"; path=/; expires=" + date.toGMTString();
	if (typeof(image_link) != 'undefined') {
		var device_display = document.getElementById("device_display");
		var html_string;
		html_string = '<div class="device">';
		html_string = html_string + "<div class=\"youdt\">";
		html_string = html_string + "Your device:<hr/>";
		html_string = html_string + "<div class=\"changedev\">";
		html_string = html_string + "<div class=\"cookie\">";
		html_string = html_string + mfg;
		html_string = html_string + " " + model;
		html_string = html_string + "</div><a href=\"javascript:delete_device();\" class=\"red\">";
		html_string = html_string + "change device ";
		html_string = html_string + "<font color=\"#cc0000\">></font></a></div></div>";
		html_string = html_string + "<div class=\"alignright\">";
		html_string = html_string + "<div class=\"devimg\"><img src=\"/images_device/";
		html_string = html_string + image_link;
		html_string = html_string + "\" alt=\"\" width=\"75\" height=\"73\"/></div></div>";
		device_display.innerHTML = html_string;
	}
}
function SetOsCookie(value, target){
	clear_device();
	date = new Date();
	date.setTime(date.getTime() + (365*24*60*60)); // set expiration to one year in future
	if (typeof(target) == 'undefined') {
		target = 'self';
	}
	document.cookie = "platform_id=" + value +"; path=/; expires=" + date.toGMTString();
	if (target == 'self') {
		location.reload(true);
	} else {
		window.location.href = target;
	}
}
function GoToPage(page, params)
{
	window.location.href = page+'?'+params;
}