function do_open(url,wname,prop){
	window.open(url,wname,prop);
}