function flash(input) {
	document.write(input);
}
function changePic(id) {
	document.getElementById('bigimage').src  = '/images/pics/big_'+id+'.jpg';
	document.getElementById('bigelement').style.display = 'block';
	document.getElementById('textcontent').style.display = 'none';
}
function showText() {
	/*
	document.getElementById('bigelement').style.display = 'none';
	document.getElementById('textcontent').style.display = 'block';
	*/
}