function getCookie(name) {  var dc = document.cookie;  var prefix = name + "=";  var begin = dc.indexOf("; " + prefix);  if (begin == -1) {    begin = dc.indexOf(prefix);    if (begin != 0) return null;  } else    begin += 2;  var end = document.cookie.indexOf(";", begin);  if (end == -1)    end = dc.length;  return unescape(dc.substring(begin + prefix.length, end));}function gohome(){	//If the cookie hasFlash=true then redirect to the flash homepage	if (getCookie("hasFlash")=='true')	{		window.location="../index_flash.html";	}	else	{		window.location="../index_alt.html";	}}