function change_theme(color) {
	document.getElementById('theme').href = 'css/color_' + color + '.css';	
	document.getElementById('logo_img').src = 'img/logo_' + color + '.png';	
	makeRequest('color_change.php?color=' + color, 'color_div', false)
}