function highlight(newHighlight) {
    for (var i = 1; i < 11; i++) {
        top.document.getElementById(('id' + i)).className='out';
    }
    top.document.getElementById(newHighlight).className='over';
}