// JavaScript Document

function change_photo(picture_number)
{
	e = document.getElementById('image')
	e.src = 'images/photo'+ ((picture_number < 10) ? "0" : "") + picture_number + ".jpg"
}

function change_photo2(picture_number)
{
	e = document.getElementById('image2')
	e.src = 'images/photo'+ ((picture_number < 10) ? "0" : "") + picture_number + ".jpg"
}