function encode_tags(tags){
	
	while (tags.indexOf(' ')>0) 
		tags = tags.replace(' ','_');
	return tags;
}

function decode_tags(tags){
	
	while (tags.indexOf('_')>0) 
		tags = tags.replace('_',' ');
	return tags;
}

function reloadPage(){
	location.reload();
}

function reloadPageAuto(){
	setTimeout("reloadPage()", 30000);
}