function chgColor1(div,col, bcol){
document.getElementById(div).style.color=col; 
document.getElementById(div).style.backgroundColor=bcol; 
} /* einde chgColor1 */

function chgColor2(div,col,bcol){
document.getElementById(div).style.color=col; 
document.getElementById(div).style.backgroundColor=bcol;
/* #eee */
} /* einde chgColor2 */