// Sets frame width and height for native html pages

var frame_width = 800; 
var frame_height = 800;
var Frameset = false;

function setFrameset(url)
{
	document.write("<frameset rows=\"*,"+frame_height+",*\" border=\"0\">\n");
	document.write(" <frame name=\"videhaut\" src=\"http://www.bionatics.com/vide.htm\" marginwidth=\"0\" border=\"0\" marginheight=\"0\" scrolling=\"no\" frameborder=\"0\" noresize>\n");
	document.write("  <frameset cols=\"1%,"+frame_width+",1%\" border=\"0\">");
	document.write("   <frame name=\"videgauche\" src=\"http://www.bionatics.com/vide.htm\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" frameborder=\"0\" noresize>\n");
	document.write("   <frame name=\"page\" src=\""+url+"\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"auto\" frameborder=\"0\" noresize>\n");
	document.write("   <frame name=\"videdroit\" src=\"http://www.bionatics.com/vide.htm\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" frameborder=\"0\" noresize>\n");
	document.write("  </frameset>\n");
	document.write(" <frame name=\"videbas\" src=\"http://www.bionatics.com/vide.htm\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" frameborder=\"0\" noresize>\n");
	document.write("</frameset>\n");
	Frameset = true;
}