function show (html_file)
{
	window.open (html_file, '', 'top=100,left=150,width=600,height=600,titlebar=yes,resizable=yes,status=no,toolbar=no,menubar=no,location=no') ;
}