// ==UserScript==
// @name           Google Video Downloader
// @namespace      http://haller.ws/projects/greasemonkey
// @description    make google video downloader
// @include        http://video.google.com/*
// ==/UserScript==

var re = new RegExp("http://video.google.com/videoplay\\?docid=([\\w\\-]+)");
var url = "http://video.google.com/videofile/product.flv?itag=5&docid=";
var debug = 0;

// support the page view
var m = re.exec(document.location);
if ( m ) {
  var docid = m[1];  
  var e = document.getElementById("pvprogtitle");
  e.innerHTML = "<a href='" + url + docid  + "'>" + e.innerHTML + "</a>";
}

debug && alert("changed the title");

// support the index view later,
//   have to tell between video google and youtube links
/* 
re = new RegExp("http://video.google.com/videosearch\\?q=");
var m = re.exec(document.location);
if ( m ) {
  var as = document.getElementsByTagName("a");
  for (var i=0; i < divs.length; i++) {
    
*/