// page = building | floorplan
// type = int | ext
// id = building_id | floorplan_id
// image = 1, 2, 3...
function change_image(page, type, id, image){
	$('img').innerHTML = '<div class="loading">&nbsp;</div>';
	new Ajax.Request('change_image.php', {
		parameters: { 'page': page, 'type': type, 'id': id, 'image': image },
		onSuccess: function(transport) {
			var stuff = transport.responseText.split('<!---->');
			$('img').innerHTML = stuff[0];
			$('img_nav').innerHTML = stuff[1];
		}
	});
}