some javascript cleanup
Customisable timestamp format