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