// res_info():
// gibt die neue Aufloesung des Bildes in res1_id (div) zurueck.

function res_info(){
	var id = 'corner_tl';
	var id2 = 'corner_br';
	var res1_id = 'info_new_res';
	
	var el1 = document.getElementById(id);
	var el2 = document.getElementById(id2);
	var res1 = document.getElementById(res1_id);
	
	var el1_left = el1.style.left.split('px').join('');
	var el1_top = el1.style.top.split('px').join('');
	 
	var el2_left = el2.style.left.split('px').join('');
	var el2_top = el2.style.top.split('px').join('');
	
	var new_res_w = el2_left - el1_left;
	var new_res_h = el2_top - el1_top;
		
	res1.innerHTML = new_res_w + "px * " + new_res_h + "px";
	// res1.innerHTML = res1.innerHTML + ", dpos[0]: "+dpos[0]+", dpos[1]: "+dpos[1]+", mpos[0]: " + mpos[0] + ", mpos[1]: " + mpos[1];
	// res1.innerHTML = res1.innerHTML + ", max_left: " + max_left + ", tlpos[0]:" + tl_pos[0] + ", tlpos[1]:" + tl_pos[1] + ", brpos[0]:" + br_pos[0] + ", brpos[1]:" + br_pos[1];
}