<!--
function change(Name, Image) {
if (document.images) { document[Name].src = Image; }
}
function bar(message) {
if (document.images) { window.status = message; return true }
}
if (document.images) {
titleover01     = new Image;
titleover01.src = "images/buttonlaw.gif";
titleover02     = new Image;
titleover02.src = "images/buttonmed.gif";
titleover03     = new Image;
titleover03.src = "images/buttonheadlines.gif";
titleover04     = new Image;
titleover04.src = "images/buttonmanual.gif";
titleover05     = new Image;
titleover05.src = "images/buttonassistance.gif";
titleover06     = new Image;
titleover06.src = "images/buttoncontact.gif";
}
// -->