function switchjpg(url) 
{
document['picDisplay'].src=url;
return;
}