function swap(nam, rep) {
var isrc="/pi_meeting/nav/"+rep;
document[nam].src=isrc;
}