function convertdate($orig){
	tmp = $orig.slice(0,10);
	tmp = tmp.split('/');
	tmp = tmp[1] + "." + tmp[0] + "." + tmp[2];
	return tmp;
}

function togglemenu($obj, $switch){
	if( $switch == "1" ){
		document.getElementById($obj).style.display = "block";
	} 
	if( $switch == "0" ){
		document.getElementById($obj).style.display = "none";
		}
}