// $Id: common.js,v 1.1 2008/06/13 09:15:24 alec Exp $

function checkElement(id)
{
        document.getElementById(id).checked = !document.getElementById(id).checked;
}