function alternate(url) {
ch = url+"css/start.css";
if (document.getElementById("alt").href == ch) {
document.getElementById("alt").href = "/css/start_.css";
document.getElementById("mrk").src = "/i/start/altmarker.png";
document.getElementById("mt").src = "/i/start/altlogo.png";

} else {
document.getElementById("alt").href = "/css/start.css";
document.getElementById("mrk").src = "/i/start/marker.png";
document.getElementById("mt").src = "/i/logo.png";
}
}