function console.log { echo "$(date +'[%Y-%m-%d %H:%M:%S]') $1"; }
[ ]