function spawn_window(content, spawn, sizing)

{window.open(content, spawn, sizing);}

function highlights(x)

  { if (x != "") { self.location=x; } }