function link (url)
  {
    window.location.href=url;
  }


function addslashes( str ) {
 
    return (str+'').replace(/([\\"'])/g, "\\$1").replace(/\0/g, "\\0");
}