rendered paste body<script language="JavaScript">
function menu_pic(button){
//Starter med at ændre alle knapperne til default
document.getElementById("cmc").src = "<?php print $rod.$sti; ?>cmc2.gif";
document.getElementById("maskinstation").src = "<?php print $rod.$sti; ?>maskinstation2.gif";
document.getElementById("entreprenor").src = "<?php print $rod.$sti; ?>entreprenor2.gif";
document.getElementById("kloakarbejde").src = "<?php print $rod.$sti; ?>kloakarbejde2.gif";
//så ændre vi den aktive knap
document.getElementById(button).src = button+".gif";
}
</script>