function hide() 
{
document.all.jump.style.visibility='hidden';
setTimeout("document.all.jump.style.visibility='visible'",1000);
}