function deseleccionar_todos(s)
{
	for (i = 0; i < s.options.length; i++) s.options[i].selected = false;
}