function sel(i,a){
	document['colorsFrm']['r'][i].checked=true;
	document['pickerFrm']['control'].value=a;
}
function change_width(w) {
	div_c = parent.document.getElementById('rptopid_content');
	div_c.style.width=w + 'px';
}