////////////////////////////////////////////////////////////////
// function to show the big property image in the detail page //
////////////////////////////////////////////////////////////////
// id = id of the div you want to show in the html page
// nbr_image = images/div maximum in the html to hide before showing
// ref = manage the link border of the referer (div)
var img_ref;
function show_image(id, nbr_image, ref) {
	img_ref = ref;
	var d = document.getElementById(id);
	var d_ref = document.getElementById(ref);
	for (var i = 0; i<nbr_image; i++) {
		if (document.getElementById('property_img'+i)) {document.getElementById('property_img'+i).style.display='none';}
		if (document.getElementById('property_small'+i)) {document.getElementById('property_small'+i).style.border='1px solid #FFFFFF';}
	}
	if (d) {d.style.display='block';}
	if (d_ref) {d_ref.style.border='1px solid #EC358C';}
}
//////////////////////////////////////////////////////////////////
// function to show and hide the border of the picture, a:hover //
//////////////////////////////////////////////////////////////////
function check_border(when, who) {
	if (when=="over") who.style.border='1px solid #EC358C';
	if (when=="out") who.style.border='1px solid #FFFFFF';
	document.getElementById(img_ref).style.border='1px solid #BA1F23';
}