[warren buffet]

Нет, чтобы было тихо стопудово, сделай так

try{
    if(prog1 = document.getElementById('prog1').value)
       WSH.run(prog1,1,true);
}catch(e){};

и тогда пофигу и на валуе и на файлы, на все.