function window_open(file_, width_, height_) 
{

	window.open(file_, 'mywindow', "width = "+width_+", height = "+height_);
	
}