// Show a definition in a pop-up window
function showDef(term) {
   myPopWindow2("/showDef.php?term='" + term + "'", 400, 270, 'def');
}