function getCookie(name) {
  var nameOfCookie=name+"=";
  var a=0;
  while(a<=document.cookie.length) {
    var b=(a+nameOfCookie.length);
	if(document.cookie.substring(a,b)==nameOfCookie) {
      if((endOfCookie=document.cookie.indexOf(";",b))==-1)
	    endOfCookie=document.cookie.length;
	  return unescape(document.cookie.substring(b,endOfCookie));
    }
    a=document.cookie.indexOf(" ",a) +1;
	if(a==0)
	  break;
  }
  return "";
}



function window::onload() {

}