function open_new_window(url){
	window.open(url,'_blank');
}