function createCookie(name,value,days) {  if (days) {    var date = new Date();    date.setTime(date.getTime()+(days*24*60*60*1000));    var expires = "; expires="+date.toGMTString();  }  else expires = "";  document.cookie = name+"="+value+expires+"; path=/";}function langCookie(lang,url) {	// not sure what will happen if cookie is already set.		createCookie('journal_lang',lang,30);		if (url) {		location.href=url;	} else {		location.reload();	}		// make sure link works for non-js browsers.}