var m085     = "M32-085B.ZIP";
var k085     = "K085B.ZIP";
var a085     = "A085B.ZIP";

var rn1 = '<a href="news.html">v0.79pre1 available!</a>';
var rn2 = '<a href="news.html">v0.78final available!</a>';

function sfdwnld(option)
{
	var msg,msg2;

        if ( option == "m085" ) msg = m085;
        if ( option == "k085" ) msg = k085;
        if ( option == "a085" ) msg = a085;

	msg2 = "http://prdownloads.sourceforge.net/menuet/"+msg+"?download";
	preWindow=window.open(msg2,"OpenWindow",'toolbar=no,location=no,directories=no,status=no,scrollbars=yes,menubar=no,width=' + 800 + ',height=' + 480);		
}