function switchColor(c) {
    document.getElementsByTagName('body')[0].id = c;
    url = '/wp-savecolor.php?color='+encodeURIComponent(c);
    new Ajax.Request(url, {method: 'get'});
}