double pipe operator
is this example usefull?
var section = document.getElementById('special');
if(!section){
section = document.getElementById('main');
}
can also be
var section = document.getElementById('special') || document.getElementById('main');