function unscroll(){

var mycont;
var mylink;

mycont=document.getElementById('abstractcont');
mylink=document.getElementById('abstractlink');

mylink.style.display='none';
mylink.style.margin='0';
mycont.style.height='auto';
mycont.style.overflow='visible';
}