function switchView(id) {
var off = false;
var ico = document.getElementById("ico-"+id);
if (ico) {
if (off) {
var src = ico.src.replace(/down/, "right");
} else {
var src = ico.src.replace(/right/, "down");
}
ico.src = src;
}
}