// JavaScript Document
function placeProdMenu(prodFile) {
menu=document.getElementById("prodflash");
menu.innerHTML='';
return;
}
function placeCuckooFlash() {
cuckooanimation=document.getElementById("cuckooflash");
cuckooanimation.innerHTML='' ;
return;
}