bookmarklet: unix timestamp in php needs value to be divided by 1000