function print_version(product){
if(product=="WinTasks")document.write("4.4");
if(product=="CMB")document.write("1.82");
if(product=="Leeg")document.write("1.16");
}