var date = new Date (document.lastModified);
var yy = date.getYear();
var year = (yy < 1000) ? yy + 1900 : yy;
var mm  = date.getMonth() + 1;
var month = (mm < 10) ? "0" + mm : mm;
var dd  = date.getDate();
var day = (dd < 10) ? "0" + dd : dd;
var datestring = year + "-" + month + "-" + day;

function launchwin(winurl,winname,winfeatures) {
	window.open(winurl,winname,winfeatures);
}