function redirect() {
	window.location = document.info_form.infoSelect.options[document.info_form.infoSelect.selectedIndex].value;
}

function detailswindow() {

	//window.resizeTo(600, 400);

}

function getbrowserdate() {
	var thisdate=new Date();
	var thismonth=thisdate.getMonth()
	var thisday=thisdate.getDate()
	var thisyear=thisdate.getYear()
	var thisstring=new String(thisyear);
	var NewMonth=thismonth+1
	document.write('<span class="smallertext">'+thisday+'.'+NewMonth+'.'+thisstring.substr(2))+'</span>';
}