if (document.images) {
    img1 = new Image
    img1.src = "../../images2/Domus_2.jpg"

    img2 = new Image
    img2.src = "../../images2/Domus-_2.jpg"

    img3 = new Image
    img3.src = "../../images2/Domus2_2.jpg"

}
else {
	img1 = " "
	img2 = " "
	img3 = " "
}