function launch_rand($url) { 	random_win=window.open    ($url,"random_win",'statusbar=0,toolbar=0,menubar=0,scrollbars=1,resizable=no,width=400,height=400')   }