function bg_set_selected(z){
	document.getElementById('i_'+z).style.backgroundColor='#FFFFD5';
}
function bg_set_color(z,color){
	document.getElementById('i_'+z).style.backgroundColor=color;
}
function trim(stringToTrim) {
	return stringToTrim.replace(/^\s+|\s+$/g,"");
}
function empty(){};