/* * $Id: common.js,v 1.2 2003/08/23 08:11:38 frank Exp $ */ function redirect(href) { if (true) { top.location.href = href; } else { document.writeln(''+href+''); } }