Господи, за что такая кара.
WSH.run(prog1),1,true; - это не вопиет лишь потому, что в js так можно перечислять декларации и присвоения и выполнения через запятую. Хватит уже позориться, исправь.
Что касается валуе, то проверяй на пусто.
if(prog1 = document.getElementById('prog1').value)
WSH.run(prog1,1,true);
else
alert("Are u moron or not?");