function print_date() {
	var d=new Date();
	var weekday=new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
	var monthname=new Array("January","February","March","April","May","June","July","August","September","October","November","December");
	document.write(weekday[d.getDay()] + " " + d.getDate() + ". " + monthname[d.getMonth()] + " " + d.getFullYear());
}
function dropdown(objectID,opacity) {
	if (document.getElementById) document.getElementById(objectID).style.visibility = (opacity) ? "visible" : "hidden";
}