/**
 * This is used by the story page for the "Email This Story" link
 * $Id: story-email-form.js,v 1.2 2006/12/14 23:54:07 marlon Exp $


function pressDefaultButton(defaultButtonId)
{
     var keyCodeEntered = (window.event.which) ? window.event.which : window.event.keyCode;

     if ( keyCodeEntered == 13 )
     {
          document.getElementById(defaultButtonId).click();
          return false;
     }

     return true;
} */

function hideDiv() { 
    document.getElementById('hideResult').style.display = 'block';
}