// JavaScript Document
function a_href(dest)
  {
    if(!dest=="")
      {
        window.location.href=dest;

      
      }
}