function randomsign() { return (irandom(1) * 2) - 1; }