function $(id){
	return document.getElementById(id);
}
function toggle_div_mess(div_id,href_id,oldmess,newmess){
	if ($(div_id).style.display == 'none'){
		$(div_id).style.display = 'block';
		$(href_id).innerHTML = newmess;
	}
	else {
		$(div_id).style.display = 'none';
		$(href_id).innerHTML = oldmess;
	}
}


function change_style(elem){
	elem.className += 'IE';	
}
function change_styleBack(elem){
	elem.className = elem.className.replace('IE','');
}