// JavaScript Document
function onMn()
{
document.getElementById("pull").style.visibility='visible';
}

function offMn()
{
document.getElementById("pull").style.visibility='hidden';
}