function open_image_popup(img_name, largeur, hauteur, popup_name){
var param_complete = 'width='+largeur+',height='+hauteur+',left=100,top=100,location=no,scrollbars=no,resizable=no';
var page_html = 'view_image.php?img='+img_name;
window.open(page_html, popup_name, param_complete);
}
function switch_image(the_img,the_target){
document.getElementById(the_target).src=the_img;
}