/**
* ドキュメント内のリンクのうち
* 末尾(拡張子)が".pdf"のものを
* 別ウィンドウで開くように書き
* 換える。
**/
function pdfget(){
	var links = document.links;
	
	for(var i=0; i<links.length; i++){
		var l = links[i];
		
		if(l.href.match(/\.pdf/i)){
			l.target = "_blank";
		}
	}
}