function dn() {
	// this does nothing, so use the following instead of href="#"
	// href="javascript:dn()"
}

function ajaxSwitch (url, div) {
	new Ajax.Updater ($(div), url);
}