/* Function for opening link in a new window.


*/

function new_window(theLink)
{
  window.open(theLink);
  return false;
}