//
//
//


function fix_png(obj)
{
}

function change_png(obj, new_png)
{
    var img = document.getElementById(obj);
    img.src = new_png;
}