function highlight (what) {
document.getElementById(what).style.backgroundColor='#FF6E61'; 
document.getElementById(what).style.color='white';
}

function dehighlight (what) {
document.getElementById(what).style.backgroundColor='#F1DFBC'; 
document.getElementById(what).style.color='990000';
}

function hpicture (what) {
document.getElementById(what).currentStyle.filters["blur"].strength=40; 
document.getElementById(what).currentStyle.filters["blur"].add=2; 
}

function uhpicture (what) {
document.getElementById(what).currentStyle.filters["blur"].strength=0;  
}