<!--
function showtip(tip){
document.tool.tip.value=tip
}
//-->