function jumpTo(path)
{
  	document.location.href = '/' + path ;
}

function showImage(img_id, img_src)
{
    document.getElementById(img_id).src = img_src;
}