function $() 
{ 
  var elements = new Array(); 
  for (var i = 0; i < arguments.length; i++) 
  { 
    var element = arguments[i]; 
    if (typeof element == 'string') 
      element = document.getElementById(element); 
    if (arguments.length == 1) 
      return element; 
    elements.push(element); 
  } 
  return elements; 
}

function Check_FileType(str){
	if (str!=""){
		var pos = str.lastIndexOf(".");
		var lastname = str.substring(pos,str.length)
		if (lastname.toLowerCase()!=".doc" && lastname.toLowerCase()!=".pdf"){     	
			return false;
		}else{
			return true;
		}
	}else{
		return true;
	}
}