<!--
// frame functions
// M.Adams
// 30/10/04

// make sure current page is the top frame in any frameset
function maketopframe()
{if (top!=self) top.location.href = self.location.href;}

//-->