<!--
function activate16()  {document.images["top1"].src = "../pics/button/GTop2.gif";} 
function deactivate16(){document.images["top1"].src = "../pics/button/GTop1.gif";} 

function activate17()  {document.images["top2"].src = "../pics/button/GTop2.gif";} 
function deactivate17(){document.images["top2"].src = "../pics/button/GTop1.gif";} 
//-->