function setvisible(){
if(document.getElementById('details').style.visibility == 'hidden'){
document.getElementById('details').style.visibility='visible';
}
else{
document.getElementById('details').style.visibility='hidden';
}
}