private static string S4() { JsNumber num = JsMath.floor((1 + JsMath.random()) * 0x10000); return(num.toString(16).substring(1)); }