function disabled_select()
{
document.getElementById('check_clean').disabled = true ;
};
function hide(what) {
document.getElementById(what).style.display='none';
};