if (document.images) {
document.write([
'<a href="../index.htm"><img id="rmahome" src="../graphics/rma-home.gif" alt="RMA-home"/></a>'].join(''));
}