unrelated javascript stuff