// JavaScript Document

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

// ((picture_number < 10) ? "0" : "") if the number is less than 10, put a 0 infront of the number