var bulletin_month="jul";
var bulletin_year="09";

function bulletin_url(stage, css, topic, topicval) {
	var href = "<a class=" + css + " href=/cgi-bin/product/interpreter.pl?p_stat=" + stage + "&month=" + bulletin_month + "&year=" + bulletin_year;
	if ((topic) && (topicval)) {
		href = href + "&" + topic + "=" + topicval;
	}
	href = href + ">";
	document.write(href);
}

function bulletin_display_date () {
	var month_longnames=new Object();
	month_longnames["jan"] = "January";
	month_longnames["feb"] = "February";
	month_longnames["mar"] = "March";
	month_longnames["apr"] = "April";
	month_longnames["may"] = "May";
	month_longnames["jun"] = "June";
	month_longnames["jul"] = "July";
	month_longnames["aug"] = "August";
	month_longnames["sep"] = "September";
	month_longnames["oct"] = "October";
	month_longnames["nov"] = "November";
	month_longnames["dec"] = "December";
	return(month_longnames[bulletin_month] + " 20" + bulletin_year);
}