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;
 }