function win_open(num,width,height)
{
	var url = "P" + num + ".htm"
	var win_name = "P" + num
	var stat = "status=0,toolbars=0,location=0,directories=0,menubar=0,resizable=0,top=0,left=0,width=" + width + ",height=" + height + ""
	
	window.open(url,win_name,stat);
}

function spec_win_open(width,height)
{
	var url = "specification.htm"
	var win_name = "spec"
	var stat = "status=0,toolbars=0,location=0,directories=0,menubar=0,resizable=0,top=0,left=0,width=" + width + ",height=" + height + ""
	
	window.open(url,win_name,stat);
}