function clip_resize(element_id, left, right, top, bottom){
	var clip_size = top + "px " + right + "px " + bottom + "px " + left + "px ";
	var clip_element = document.getElementById(element_id);
	if (clip_element) clip_element.style.clip="rect(" + clip_size + ")";
}