/* Pops up a window and outputs an HTML document  */

function Popup(url)
{
   options = "width=400,height=400,resizable=yes,scrollbars=yes";
   // Open the window and output the HTML content
   w = window.open(url,'PaperInfos',options);
}