function dynamic_picture(picture_id)
{
  var picture = document.getElementById("floating"+picture_id);
  picture.src="/_pic/dynamic/m_"+picture_id+"-a.gif";
}
function static_picture(picture_id)
{
  var picture = document.getElementById("floating"+picture_id);
  picture.src="/_pic/m_"+picture_id+".gif";
}