function print_today(){
var m_names = new Array("January", "February", "March",
"April", "May", "June", "July", "August", "September",
"October", "November", "December");

var d = new Date();
var curr_date = d.getDate();
var curr_month = d.getMonth()+1;
if(curr_month<10){curr_month = "0"+curr_month;}
var curr_year = d.getFullYear();
document.write(curr_date + "." + curr_month + "." + curr_year + "r.");
};