function print_date() {
var today = new Date().toString();
document.write(today.substr(0, today.indexOf("GMT") ) );
}