// JavaScript Document

function showTip(tipname) {
document.getElementById(tipname).style.visibility = 'visible';
document.body.style.cursor="help";
}
function hideTip(tipname) {
document.getElementById(tipname).style.visibility = 'hidden'; 
document.body.style.cursor="default";
}