function leaving()
{
document.getElementById("leavingarrows").style.display = "block";
document.getElementById("leavingtext").style.display = "block";
document.getElementById("sidetranslate").style.marginTop = "24px";
}
function leavingdone()
{
document.getElementById("leavingarrows").style.display = "none";
document.getElementById("leavingtext").style.display = "none";
document.getElementById("sidetranslate").style.marginTop = "80px";
}