function highlight_resolution(){
	var w=screen.width;
	var h=screen.height;
	var d=document.getElementById('res_'+w+'x'+h);
	 if (d) {
    d.style.background='#FDFF0F';	 
	 } 
}