function gettip(txt)
{
document.getElementById("tip").innerHTML=txt
}

function reset()
{
document.getElementById("tip").innerHTML=""
}