Miscellany

<script type="text/javascript">
function setLang(lang) {
	var date = new Date();
	date.setTime(date.getTime()+(30*24*60*60*1000));
	var expires = "; expires="+date.toGMTString();
	document.cookie = 'pt_lang=' + lang + expires + '; path=/'
	location.reload(true);
}
</script>