function changescrn (num) {
	var theimg = num;
  var thescrn = 'pix/screens/' + theimg + '_full.jpg';
  document.getElementById("fullscrn").src=thescrn;
}