if(document.images){
img12 = new Image();img12.src = "/Files/Navigation/flag_uk50.gif";img12Over = new Image();img12Over.src = "/Files/Navigation/flag_uk.gif";
img13 = new Image();img13.src = "/Files/Navigation/flag_de50.gif";img13Over = new Image();img13Over.src = "/Files/Navigation/flag_de.gif";

}