function showBigImage(img) 
{
    new_img_pointer = new Image;
    new_img_pointer.src = 'img/' + img + '.jpg';
    new_img = new_img_pointer.src;
    document.getElementById('article_detail_image').src = new_img;
}