function swapimg(url) {
 	document.getElementById('PhotoBig').src=url;
}

function pushimage(source, id, width, height) {document.getElementById(id).src = source.replace(source.substring(source.lastIndexOf('_')+1, source.lastIndexOf('.')), width+'x'+height)}