function enlarge(file){
	document.getElementById('iBIG').src=file;
}