function new_window(url) {
	link = window.open(url,"rev_history","toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=yes,resizable=yes,width=515,height=400,left=300,top=50");
}