function randi() {
    var procoo = document.proform.pro.value;
    window.location = procoo;
}