function open_image(url) {
    url = url.toString();

    if(url.match(/^\d+$/)) {
        window.open('/images/show/' + url);
    }
    else {
        window.open(url);
    }
}