//function show_image(img_name){
//	var frame_height = document.getElementById("frame").clientHeight;
//	document.getElementById("frame").innerHTML = '<div style=\"height:'+frame_height+'px;\"><img width=\"400\" style=\"border: 2px solid #cccccc\"  src=\"'+img_name+'\"></img></div>';
//}
function show_image(img_name){
	var frame_height = document.getElementById("frame").clientHeight;
	document.getElementById("frame").innerHTML = '<img width=\"400\" style=\"border: 2px solid #cccccc\"  src=\"'+img_name+'\"></img>';
}