<!--
function abcdef()
{
  location.replace("index.php");
}
//-->