function toggle_stars(star, on) {
	var div = document.getElementById('hotel_search_list')
	var inputs = div.getElementsByTagName('input')
	for(i = 0;i < inputs.length;i++) {
		var node = inputs.item(i)
		if (node.getAttribute('star') == star) {
//			alert(node.parentNode.innerHTML)
			node.parentNode.style.display = (on ? 'block' : 'none')
		}
	}


}