function new_window(addr){window.open(addr,"","");}