function resize_image( id ) 
      {  
        var img = document.getElementById( id ); 
        var normal_width = img.width; 
        img.removeAttribute( "width" );  
        var real_width = img.width; 
        if( real_width < normal_width ) 
            img.width = real_width; 
        else 
            img.width = normal_width; 
      }