function setMapOver(img_src)
{
    document.images['map_img'].src = img_src;
}

function setMapOut()
{
    document.images['map_img'].src = '/ENGINE/IMAGES/HEFTRUCK_NL/map.gif';
}

function setLargeMapOut()
{
    document.images['map_img'].src = '/ENGINE/IMAGES/HEFTRUCK_NL/map_large.gif';
}