function hide_save_button() {
	var save_div = document.getElementById('favourites-save');
	save_div.style.display = 'none';
}