use a more javascript-friendly guid