function showMagnified() {
		document.getElementById('magnified').style.display='block';

	}
	
	
	function hideMagnified() {
		document.getElementById('magnified').style.display='none';
	}			
	
	var loader = new Image;
	loader.src = 'images/loading.png';

	var sources=@jsonobj@;

	var numPictures = sources[1].numPictures;
	var portName = sources[1].portName;
	var currentPic = 1;

	function loadImage(id) {
		currentPic = id;
		document.getElementById('mainimage').src = loader.src;
		showMagnified();
		document.getElementById('mainimage').src = sources[0][currentPic-1].url;
	}