function ReplaceElementContent(id, content) {
alert(content);
var element = document.getElementById(id);
element.innerHTML = content;
}
function closeIntro() {
$('intro').setStyle('display', 'none');
		var days = 3;
    var date = new Date();
		date.setTime(date.getTime()+(days*24*60*60*1000));
    var expires = "; expires="+date.toGMTString();
document.cookie = "skipintro="+"1"+expires+"; path=/";
}