<!--
function change_image(p_element_destination, p_element_source)
{
    p_element_destination.src = p_element_source.src;
}

// -->