// JavaScript Document
function show_pic(p){
	var $=function(id){return document.getElementById(id)};
	$("display").innerHTML=p;
	}