var pics=new Array("07jun.jpg", "f1.jpg", "f2.jpg", "f3.jpg", "f4.jpg", "f5.jpg", "f6.jpg", "301101.jpg", "1feb02.jpg", "juni2007.jpg");
var clrs=new Array("#bf711c", "#295963", "#559096", "#658baf", "#fdc75b", "#378c70", "#cfa978", "#ba9672", "#93242b", "#7fa97f");

function showfoto(number)
{
	color=clrs[number];
	foto=document.getElementById("picture");
	foto.src="images/" + pics[number];
	foto.style.borderColor=color;
	document.getElementById("frame").style.borderColor=color;
}